3 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Normann Decker, Daniel Thoma
This paper is concerned with Freeze LTL, a temporal logic on data words with registers. In a (multi-attributed) data word each position carries a letter from a finite alphabet and…