Esparza, Javier; Kučera, Antonín; Schwoon, Stefan Model checking LTL with regular valuations for pushdown systems. (English) Zbl 1078.68081 Inf. Comput. 186, No. 2, 355-376 (2003). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Inf. Comput. 186, No. 2, 355--376 (2003; Zbl 1078.68081) Full Text: DOI
Esparza, Javier; Kučera, Antonín; Schwoon, Stefan Model-checking LTL with regular valuations for pushdown systems. (English) Zbl 1087.68542 Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 316-339 (2001). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 2215, 316--339 (2001; Zbl 1087.68542) Full Text: Link