Difficult configurations – on the complexity of LTrL (1998)

by I Walukiewicz
Venue:In ICALP’98 - Automata, Languages and Programming, 25th International Colloquium, number 1443 in Lecture Notes in Computer Science