%0 Conference Paper %1 conf/fsttcs/BiancoA95 %A Bianco, Andrea %A de Alfaro, Luca %B FSTTCS %D 1995 %E Thiagarajan, P. S. %I Springer %K dblp %P 499-513 %T Model Checking of Probabalistic and Nondeterministic Systems. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs95.html#BiancoA95 %V 1026 %@ 3-540-60692-0

@inproceedings{conf/fsttcs/BiancoA95, added-at = {2017-06-02T00:00:00.000+0200}, author = {Bianco, Andrea and de Alfaro, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2be1e9318aad9f975067ee9d02d861dba/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1995}, editor = {Thiagarajan, P. S.}, ee = {https://doi.org/10.1007/3-540-60692-0_70}, interhash = {f1cc5c73085f328ed9e4a348cfa725d1}, intrahash = {be1e9318aad9f975067ee9d02d861dba}, isbn = {3-540-60692-0}, keywords = {dblp}, pages = {499-513}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:25.000+0200}, title = {Model Checking of Probabalistic and Nondeterministic Systems.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs95.html#BiancoA95}, volume = 1026, year = 1995 }