@inproceedings{c8be8d4325ac473f9821ccf2dda43ee8,
title = "A new unfolding approach to LTL model checking",
abstract = "A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniques presented so far required to run an elaborate algorithm on the prefix.",
author = "Javier Esparza and Keijo Heljanko",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 27th International Colloquium on Automata, Languages and Programming, ICALP 2000 ; Conference date: 09-07-2000 Through 15-07-2000",
year = "2000",
doi = "10.1007/3-540-45022-x_40",
language = "English",
isbn = "9783540450221",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "475--486",
editor = "Ugo Montanari and Rolim, {Jose D. P.} and Emo Welzl",
booktitle = "Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings",
}