%0 Thesis %1 phd/de/Wimmer2010 %A Wimmer, Ralf %D 2010 %K %T Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele.

@phdthesis{phd/de/Wimmer2010, added-at = {2023-12-14T15:00:55.000+0100}, author = {Wimmer, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2bffac3a1959c566c93414309b82e1d9f/admin}, ee = {http://d-nb.info/100995637X}, interhash = {e622d0c20d0ac0c8696126a04dce8361}, intrahash = {bffac3a1959c566c93414309b82e1d9f}, keywords = {}, school = {University of Freiburg}, timestamp = {2023-12-14T15:00:55.000+0100}, title = {Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele.}, year = 2010 }