%0 Conference Paper %1 conf/vmcai/WimmerBB09 %A Wimmer, Ralf %A Braitling, Bettina %A Becker, Bernd %B VMCAI %D 2009 %E Jones, Neil D. %E Müller-Olm, Markus %I Springer %K %P 366-380 %T Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#WimmerBB09 %V 5403 %@ 978-3-540-93899-6

@inproceedings{conf/vmcai/WimmerBB09, added-at = {2023-12-13T07:16:40.000+0100}, author = {Wimmer, Ralf and Braitling, Bettina and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2169039a9753a11cfe01cbb1c22ee3826/admin}, booktitle = {VMCAI}, crossref = {conf/vmcai/2009}, editor = {Jones, Neil D. and Müller-Olm, Markus}, ee = {https://doi.org/10.1007/978-3-540-93900-9_29}, interhash = {b71eb3ca19b766261f4b6a9b46a0345a}, intrahash = {169039a9753a11cfe01cbb1c22ee3826}, isbn = {978-3-540-93899-6}, keywords = {}, pages = {366-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:16:40.000+0100}, title = {Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#WimmerBB09}, volume = 5403, year = 2009 }