%0 Conference Paper %1 conf/sbmf/Giro09 %A Giro, Sergio %B SBMF %D 2009 %E Oliveira, Marcel Vinícius Medeiros %E Woodcock, Jim %I Springer %K dblp %P 220-235 %T Undecidability Results for Distributed Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2009.html#Giro09 %V 5902 %@ 978-3-642-10451-0

@inproceedings{conf/sbmf/Giro09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Giro, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/22f0d803dc9c203999f10fe799bd90701/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2009}, editor = {Oliveira, Marcel Vinícius Medeiros and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-642-10452-7_15}, interhash = {b5e63f53ebce54d6f68ed9bf068f66a8}, intrahash = {2f0d803dc9c203999f10fe799bd90701}, isbn = {978-3-642-10451-0}, keywords = {dblp}, pages = {220-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:25:29.000+0200}, title = {Undecidability Results for Distributed Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2009.html#Giro09}, volume = 5902, year = 2009 }