Model-Checking LTL with Regular Valuations for Pushdown Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Esparza, Antonín Kucera, Stefan Schwoon. Model-Checking LTL with Regular Valuations for Pushdown Systems. In Naoki Kobayashi, Benjamin C. Pierce, editors, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Volume 2215 of Lecture Notes in Computer Science, pages 316-339, Springer, 2001. [doi]

This author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Antonín Kucera' in GoogleThis author has not been identified. Look up 'Stefan Schwoon' in Google

runs on WebDSL