%0 Conference Paper %1 conf/dsvis/DohertyMF01 %A Doherty, Gavin J. %A Massink, Mieke %A Faconti, Giorgio P. %B DSV-IS %D 2001 %E Johnson, Chris W. %I Springer %K dblp %P 144-163 %T Reasoning about Interactive Systems with Stochastic Models. %U http://dblp.uni-trier.de/db/conf/dsvis/dsvis2001.html#DohertyMF01 %V 2220 %@ 3-540-42807-0

@inproceedings{conf/dsvis/DohertyMF01, added-at = {2020-06-15T00:00:00.000+0200}, author = {Doherty, Gavin J. and Massink, Mieke and Faconti, Giorgio P.}, biburl = {https://www.bibsonomy.org/bibtex/2853f1278c0f363788a226a434133e9e3/dblp}, booktitle = {DSV-IS}, crossref = {conf/dsvis/2001}, editor = {Johnson, Chris W.}, ee = {https://doi.org/10.1007/3-540-45522-1_9}, interhash = {790c8c41d2b155339e88577c0779d8ad}, intrahash = {853f1278c0f363788a226a434133e9e3}, isbn = {3-540-42807-0}, keywords = {dblp}, pages = {144-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T13:04:51.000+0200}, title = {Reasoning about Interactive Systems with Stochastic Models.}, url = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis2001.html#DohertyMF01}, volume = 2220, year = 2001 }