Publication Records

ESPARZA, Javier, Antonín KUČERA and Stefan SCHWOON. Model checking LTL with regular valuations for pushdown systems. Information and Computation. Academic Press, 2003, vol. 186, No 2, p. 355-376. ISSN 0890-5401.

ESPARZA, Javier, Antonín KUČERA and Stefan SCHWOON. Model-Checking LTL with Regular Valuations for Pushdown Systems. N. Kobayashi, B.C. Pierce (Eds.). In Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001). Berlin, Heidelberg, New York: Springer, 2001, p. 316-340. Lecture Notes in Computer Science, vol. 2215. ISBN 3-540-42736-8.