Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata (2012)

@inproceedings{
    KindermannJunttilaNiemela:FORTE2012_ini,
    editor = "Giese, Holger and Rosu, Grigore",
    author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka},
    volume = "7273",
    publisher = "Springer",
    eventtime = "June 13-16",
    isbn = "978-3-642-30792-8",
    language = "eng",
    title = "Beyond Lassos: Complete {SMT}-Based Bounded Model Checking for Timed Automata",
    url = "http://dx.doi.org/10.1007/978-3-642-30793-5_6",
    series = "Lecture Notes in Computer Science",
    booktitle = "Formal Techniques for Distributed Systems",
    issn = "0302-9743",
    year = "2012",
    pages = "84--100",
    responsibleauthor = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}},
    eventlocation = "Stockholm, Sweden",
    flags = "copy,COIN,HIIT",
    il = "no",
    country = "Germany",
    unitcode = "T306-99, T312-1",
    impactfactor = "A4",
    juforank = "1"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/978-3-642-30793-5_6

AUTHORS:

URL: http://dx.doi.org/10.1007/978-3-642-30793-5_6

URL:
http://dx.doi.org/10.1007/978-3-642-30793-5_6