%0 Conference Paper %1 conf/forte/EvrardL13 %A Evrard, Hugues %A Lang, Frédéric %B FMOODS/FORTE %D 2013 %E Beyer, Dirk %E Boreale, Michele %I Springer %K dblp %P 146-160 %T Formal Verification of Distributed Branching Multiway Synchronization Protocols. %U http://dblp.uni-trier.de/db/conf/forte/forte2013.html#EvrardL13 %V 7892 %@ 978-3-642-38591-9

@inproceedings{conf/forte/EvrardL13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Evrard, Hugues and Lang, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/227909da5826673b5193eea036b1c70bc/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2013}, editor = {Beyer, Dirk and Boreale, Michele}, ee = {https://doi.org/10.1007/978-3-642-38592-6_11}, interhash = {e5dd12dee5275b03c7e99d9eee677131}, intrahash = {27909da5826673b5193eea036b1c70bc}, isbn = {978-3-642-38591-9}, keywords = {dblp}, pages = {146-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:31.000+0200}, title = {Formal Verification of Distributed Branching Multiway Synchronization Protocols.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2013.html#EvrardL13}, volume = 7892, year = 2013 }