@inproceedings{
    HeljankoJunttilaKeinanenLangeLatvala:CAV2005,
    editor = "Ball, Thomas and Jones, Robert B.",
    author = {Heljanko, Keijo and Junttila, Tommi and Kein{\"a}nen, Misa and Lange, Martin and Latvala, Timo},
    publisher = "Springer",
    title = {Bounded Model Checking for Weak Alternating {B\"uchi} Automata},
    url = "http://dx.doi.org/10.1007/11817963_12",
    series = "Lecture Notes in Computer Science",
    booktitle = "CAV 2006",
    volume = "4144",
    flags = "copy",
    year = "2006",
    pages = "95--108"
}