100
click to vote
SOFSEM
2005
Springer
15 years 8 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...