%0 Conference Paper %1 conf/cpe/KwiatkowskaNP02 %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Parker, David %B Computer Performance Evaluation / TOOLS %D 2002 %E Field, Tony %E Harrison, Peter G. %E Bradley, Jeremy T. %E Harder, Uli %I Springer %K dblp %P 200-204 %T PRISM: Probabilistic Symbolic Model Checker. %U http://dblp.uni-trier.de/db/conf/cpe/cpe2002.html#KwiatkowskaNP02 %V 2324 %@ 3-540-43539-5

@inproceedings{conf/cpe/KwiatkowskaNP02, added-at = {2022-04-09T00:00:00.000+0200}, author = {Kwiatkowska, Marta Z. and Norman, Gethin and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/25417df0b0c439c4ca877df4ec609fd82/dblp}, booktitle = {Computer Performance Evaluation / TOOLS}, crossref = {conf/cpe/2002}, editor = {Field, Tony and Harrison, Peter G. and Bradley, Jeremy T. and Harder, Uli}, ee = {https://doi.org/10.1007/3-540-46029-2_13}, interhash = {251bcd0231e96c8e18e50b3c7cf1a8e3}, intrahash = {5417df0b0c439c4ca877df4ec609fd82}, isbn = {3-540-43539-5}, keywords = {dblp}, pages = {200-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:57:21.000+0200}, title = {PRISM: Probabilistic Symbolic Model Checker.}, url = {http://dblp.uni-trier.de/db/conf/cpe/cpe2002.html#KwiatkowskaNP02}, volume = 2324, year = 2002 }