@techreport{
    HUT-TCS-A60,
    author = "Esparza, Javier and Heljanko, Keijo",
    title = "A New Unfolding Approach to {LTL} Model Checking",
    url = "http://www.tcs.hut.fi/Publications/reports/A60abstract.html",
    pages = "32",
    address = "Espoo, Finland",
    number = "60",
    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 = "April",
    juforank = "NA",
    flags = "copy SA-LO-00-02",
    year = "2000",
    keywords = "net unfoldings, model checking, tableau systems, LTL, Petri nets",
    type = "Series A: Research Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}