%0 Conference Paper %1 conf/csse/ZhangHCX08 %A Zhang, Junhua %A Huang, Zhiqiu %A Cao, Zining %A Xiao, Fangxiong %B CSSE (2) %D 2008 %I IEEE Computer Society %K dblp %P 210-214 %T Counterexample Generation for Probabilistic Timed Automata Model Checking. %U http://dblp.uni-trier.de/db/conf/csse/csse2008-2.html#ZhangHCX08

@inproceedings{conf/csse/ZhangHCX08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Zhang, Junhua and Huang, Zhiqiu and Cao, Zining and Xiao, Fangxiong}, biburl = {https://www.bibsonomy.org/bibtex/2f7a135b20dd2383dbed37fb2f1d3d8d8/dblp}, booktitle = {CSSE (2)}, crossref = {conf/csse/2008-2}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSSE.2008.371}, interhash = {be944bd5bb933c473797a66e77cab262}, intrahash = {f7a135b20dd2383dbed37fb2f1d3d8d8}, keywords = {dblp}, note = {978-0-7695-3336-0}, pages = {210-214}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T21:40:39.000+0200}, title = {Counterexample Generation for Probabilistic Timed Automata Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/csse/csse2008-2.html#ZhangHCX08}, year = 2008 }