%0 Conference Paper %1 conf/ictac/FontaineZ16 %A Fontaine, Allyx %A Zemmari, Akka %B ICTAC %D 2016 %E Sampaio, Augusto %E Wang, Farn %K %P 69-81 %T Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#FontaineZ16 %V 9965 %@ 978-3-319-46749-8

@inproceedings{conf/ictac/FontaineZ16, added-at = {2023-12-14T14:59:32.000+0100}, author = {Fontaine, Allyx and Zemmari, Akka}, biburl = {https://www.bibsonomy.org/bibtex/2a53190b52bd477cd64f9790f22badfd1/admin}, booktitle = {ICTAC}, crossref = {conf/ictac/2016}, editor = {Sampaio, Augusto and Wang, Farn}, ee = {https://doi.org/10.1007/978-3-319-46750-4_5}, interhash = {e5dded8bf8c6a0025d5de4e2f9863042}, intrahash = {a53190b52bd477cd64f9790f22badfd1}, isbn = {978-3-319-46749-8}, keywords = {}, pages = {69-81}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:59:32.000+0100}, title = {Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#FontaineZ16}, volume = 9965, year = 2016 }