@inproceedings{4bc8b3cf4f084aa8914dbf9b7a028114,
title = "Bounded Model Checking for Weak Alternating Buchi Automata",
keywords = "Bounded Model Checking, NuSMV, PSL, Weak Alternating Buchi Automata, Bounded Model Checking, NuSMV, PSL, Weak Alternating Buchi Automata, Bounded Model Checking, NuSMV, PSL, Weak Alternating Buchi Automata",
author = "Keijo Heljanko and Tommi Junttila and Misa Kein{\"a}nen and Martin Lange and Timo Latvala",
year = "2006",
language = "English",
isbn = "3-540-37406-X",
publisher = "Springer",
pages = "95--108",
editor = "Thomas Ball and Jones, {Robert B.}",
booktitle = "Computer Aided Verification 2006, Seattle, WA, USA, 17.-20.8.2006",
address = "Germany",
}