%0 Conference Paper %1 conf/wdag/AttiyaBHMS11 %A Attiya, Hagit %A Borran, Fatemeh %A Hutle, Martin %A Milosevic, Zarko %A Schiper, André %B DISC %D 2011 %E Peleg, David %I Springer %K dblp %P 374-388 %T Structured Derivation of Semi-Synchronous Algorithms. %U http://dblp.uni-trier.de/db/conf/wdag/disc2011.html#AttiyaBHMS11 %V 6950 %@ 978-3-642-24099-7

@inproceedings{conf/wdag/AttiyaBHMS11, added-at = {2019-09-16T00:00:00.000+0200}, author = {Attiya, Hagit and Borran, Fatemeh and Hutle, Martin and Milosevic, Zarko and Schiper, André}, biburl = {https://www.bibsonomy.org/bibtex/24b8e43543890836678dfaaa1c1c46205/dblp}, booktitle = {DISC}, crossref = {conf/wdag/2011}, editor = {Peleg, David}, ee = {https://doi.org/10.1007/978-3-642-24100-0_37}, interhash = {bcf9803141ed98043f7af53b5d9fb119}, intrahash = {4b8e43543890836678dfaaa1c1c46205}, isbn = {978-3-642-24099-7}, keywords = {dblp}, pages = {374-388}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:42:12.000+0200}, title = {Structured Derivation of Semi-Synchronous Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc2011.html#AttiyaBHMS11}, volume = 6950, year = 2011 }