%0 Conference Paper %1 conf/ifm/AlbertCPR13 %A Albert, Elvira %A Correas, Jesús %A Puebla, Germán %A Román-Díez, Guillermo %B IFM %D 2013 %E Johnsen, Einar Broch %E Petre, Luigia %I Springer %K dblp %P 285-300 %T Quantified Abstractions of Distributed Systems. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#AlbertCPR13 %V 7940 %@ 978-3-642-38613-8

@inproceedings{conf/ifm/AlbertCPR13, added-at = {2021-07-25T00:00:00.000+0200}, author = {Albert, Elvira and Correas, Jesús and Puebla, Germán and Román-Díez, Guillermo}, biburl = {https://www.bibsonomy.org/bibtex/262826b18258df3db4322c275c9715e25/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2013}, editor = {Johnsen, Einar Broch and Petre, Luigia}, ee = {https://doi.org/10.1007/978-3-642-38613-8_20}, interhash = {338209ff3794480107fbdde99fd444cf}, intrahash = {62826b18258df3db4322c275c9715e25}, isbn = {978-3-642-38613-8}, keywords = {dblp}, pages = {285-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:32:55.000+0200}, title = {Quantified Abstractions of Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#AlbertCPR13}, volume = 7940, year = 2013 }