logo
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}
}