%0 Conference Paper %1 conf/atva/JansenAKWKB11 %A Jansen, Nils %A Ábrahám, Erika %A Katelaan, Jens %A Wimmer, Ralf %A Katoen, Joost-Pieter %A Becker, Bernd %B ATVA %D 2011 %E Bultan, Tevfik %E Hsiung, Pao-Ann %I Springer %K %P 443-452 %T Hierarchical Counterexamples for Discrete-Time Markov Chains. %U http://dblp.uni-trier.de/db/conf/atva/atva2011.html#JansenAKWKB11 %V 6996 %@ 978-3-642-24371-4

@inproceedings{conf/atva/JansenAKWKB11, added-at = {2023-12-13T07:00:32.000+0100}, author = {Jansen, Nils and Ábrahám, Erika and Katelaan, Jens and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/21ee850cefa58e2f9f7f69490c2ac91f5/admin}, booktitle = {ATVA}, crossref = {conf/atva/2011}, editor = {Bultan, Tevfik and Hsiung, Pao-Ann}, ee = {https://www.wikidata.org/entity/Q57801248}, interhash = {b44249b3022eb0d9187965f07ea69b38}, intrahash = {1ee850cefa58e2f9f7f69490c2ac91f5}, isbn = {978-3-642-24371-4}, keywords = {}, pages = {443-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:00:32.000+0100}, title = {Hierarchical Counterexamples for Discrete-Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2011.html#JansenAKWKB11}, volume = 6996, year = 2011 }