%0 Conference Paper %1 conf/wollic/BowlesV14 %A Bowles, Juliana Küster Filipe %A Viana, Petrucio %B WoLLIC %D 2014 %E Kohlenbach, Ulrich %E Barceló, Pablo %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 195-205 %T On Distributed Stochastic Logics for Mobile Systems. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#BowlesV14 %V 8652 %@ 978-3-662-44144-2

@inproceedings{conf/wollic/BowlesV14, added-at = {2017-06-05T00:00:00.000+0200}, author = {Bowles, Juliana Küster Filipe and Viana, Petrucio}, biburl = {https://www.bibsonomy.org/bibtex/2ad00a35a1bd904392ba1c205997c903d/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2014}, editor = {Kohlenbach, Ulrich and Barceló, Pablo and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-44145-9_14}, interhash = {5f8e38f98b20a54466f20f1578c31652}, intrahash = {ad00a35a1bd904392ba1c205997c903d}, isbn = {978-3-662-44144-2}, keywords = {dblp}, pages = {195-205}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:01:01.000+0200}, title = {On Distributed Stochastic Logics for Mobile Systems.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2014.html#BowlesV14}, volume = 8652, year = 2014 }