![]() |
BibTeX Entry |
@inproceedings{ABMS:ATVA2006, author = {Abdulla, Parosh Aziz and Henda, Noomene Ben and Mayr, Richard and Sandberg, Sven}, title = {Eager {Markov} Chains}, booktitle = {Proc. ATVA '06-4th Int. Symp. on Automated Technology for Verification and Analysis}, pages = {24--38}, publisher = {Springer Verlag}, volume = {4218}, series = {Lecture Notes in Computer Science}, year = {2006}, URL = {files/eager.ps} }