Bounded Model Checking for Weak Alternating Büchi Automata

Reference:

Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange, and Timo Latvala. Bounded model checking for weak alternating Büchi automata. In Thomas Ball and Robert B. Jones, editors, CAV 2006, volume 4144 of Lecture Notes in Computer Science, pages 95–108. Springer, 2006.

Suggested BibTeX entry:

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