%0 Conference Paper %1 conf/coordination/MelgrattiR16 %A Melgratti, Hernán C. %A Roldán, Christian %B COORDINATION %D 2016 %E Lluch-Lafuente, Alberto %E Proença, José %I Springer %K dblp %P 175-191 %T A Formal Analysis of the Global Sequence Protocol. %U http://dblp.uni-trier.de/db/conf/coordination/coordination2016.html#MelgrattiR16 %V 9686 %@ 978-3-319-39518-0

@inproceedings{conf/coordination/MelgrattiR16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Melgratti, Hernán C. and Roldán, Christian}, biburl = {https://www.bibsonomy.org/bibtex/289490f3538158995b7e685e91f356d9c/dblp}, booktitle = {COORDINATION}, crossref = {conf/coordination/2016}, editor = {Lluch-Lafuente, Alberto and Proença, José}, ee = {https://doi.org/10.1007/978-3-319-39519-7_11}, interhash = {943724a650cf1ce6c450bf515a2435fd}, intrahash = {89490f3538158995b7e685e91f356d9c}, isbn = {978-3-319-39518-0}, keywords = {dblp}, pages = {175-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:51:46.000+0200}, title = {A Formal Analysis of the Global Sequence Protocol.}, url = {http://dblp.uni-trier.de/db/conf/coordination/coordination2016.html#MelgrattiR16}, volume = 9686, year = 2016 }