%0 Conference Paper %1 conf/birthday/AbateKNP14 %A Abate, Alessandro %A Kwiatkowska, Marta Z. %A Norman, Gethin %A Parker, David %B Horizons of the Mind %D 2014 %E van Breugel, Franck %E Kashefi, Elham %E Palamidessi, Catuscia %E Rutten, Jan %I Springer %K dblp %P 40-58 %T Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. %U http://dblp.uni-trier.de/db/conf/birthday/panangaden2014.html#AbateKNP14 %V 8464 %@ 978-3-319-06879-4

@inproceedings{conf/birthday/AbateKNP14, added-at = {2022-08-16T00:00:00.000+0200}, author = {Abate, Alessandro and Kwiatkowska, Marta Z. and Norman, Gethin and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/28e7f0f0621c082a1d3fc0557f5a7869c/dblp}, booktitle = {Horizons of the Mind}, crossref = {conf/birthday/2014panangaden}, editor = {van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan}, ee = {https://www.wikidata.org/entity/Q112268311}, interhash = {ef5b4d4418cd827a940a4667767d8972}, intrahash = {8e7f0f0621c082a1d3fc0557f5a7869c}, isbn = {978-3-319-06879-4}, keywords = {dblp}, pages = {40-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:21:46.000+0200}, title = {Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.}, url = {http://dblp.uni-trier.de/db/conf/birthday/panangaden2014.html#AbateKNP14}, volume = 8464, year = 2014 }