Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

Authors: 
Kuske, D.
Gastin, P.
Year: 
2005
Appeared / Erschienen in: 
CONCUR 2005, 533-547, © Springer Lecture Notes in Computer Science vol. 3653 (2005).
Abstract link: 
http://www.informatik.uni-leipzig.de/~kuske/pub2005.html#CONCUR