@inproceedings{
    ultl,
    editor = "Montanari, Ugo and Rolim, Jos{\'e} D. P. and Welzl, Emo",
    author = "Esparza, Javier and Heljanko, Keijo",
    publisher = "Springer-Verlag",
    title = "A New Unfolding Approach to {LTL} Model Checking",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP'2000)",
    address = "Geneva, Switzerland",
    corerank = "A",
    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.",
    month = "July",
    volume = "1853",
    juforank = "2",
    flags = "SA-LO-00-02",
    year = "2000",
    keywords = "net unfoldings, model checking, tableau systems, LTL, Petri nets",
    pages = "475--486"
}