Details for the publication HahnHWZ09a.

Ernst Moritz Hahn (), Holger Hermanns (), Björn Wachter, Lijun Zhang: INFAMY: An Infinite-State Markov Model Checker. In Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, volume 5643 of Lecture Notes in Computer Science, pages 641-647, 2009. DOI BIB