%0 Conference Paper %1 conf/sfm/Bravetti04 %A Bravetti, Mario %B SFM %D 2004 %E Bernardo, Marco %E Corradini, Flavio %I Springer %K dblp %P 132-180 %T Real Time and Stochastic Time. %U http://dblp.uni-trier.de/db/conf/sfm/sfm2004.html#Bravetti04 %V 3185 %@ 3-540-23068-8

@inproceedings{conf/sfm/Bravetti04, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bravetti, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2eb223c9bf7977b08984250518dae4cd4/dblp}, booktitle = {SFM}, crossref = {conf/sfm/2004}, editor = {Bernardo, Marco and Corradini, Flavio}, ee = {https://doi.org/10.1007/978-3-540-30080-9_5}, interhash = {9a7eddf3c40f3cb5e0ee12d42c83ee37}, intrahash = {eb223c9bf7977b08984250518dae4cd4}, isbn = {3-540-23068-8}, keywords = {dblp}, pages = {132-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:51:43.000+0200}, title = {Real Time and Stochastic Time.}, url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2004.html#Bravetti04}, volume = 3185, year = 2004 }