Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. Fontaine, A. & Zemmari, A. In Sampaio, A. & Wang, F., editors, ICTAC, volume 9965, of Lecture Notes in Computer Science, pages 69-81, 2016.
Link
Paper bibtex @inproceedings{conf/ictac/FontaineZ16,
author = {Fontaine, Allyx and Zemmari, Akka},
booktitle = {ICTAC},
crossref = {conf/ictac/2016},
editor = {Sampaio, Augusto and Wang, Farn},
ee = {http://dx.doi.org/10.1007/978-3-319-46750-4_5},
interhash = {e5dded8bf8c6a0025d5de4e2f9863042},
intrahash = {a53190b52bd477cd64f9790f22badfd1},
isbn = {978-3-319-46749-8},
pages = {69-81},
series = {Lecture Notes in Computer Science},
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
}
Downloads: 0
{"_id":"BEFhu3n3etuwXS9hp","bibbaseid":"fontaine-zemmari-certifiedimpossibilityresultsandanalysesincoqofsomerandomiseddistributedalgorithms-2016","downloads":0,"creationDate":"2017-02-17T04:06:52.049Z","title":"Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.","author_short":["Fontaine, A.","Zemmari, A."],"year":2016,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/akka zemmari?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fontaine"],"firstnames":["Allyx"],"suffixes":[]},{"propositions":[],"lastnames":["Zemmari"],"firstnames":["Akka"],"suffixes":[]}],"booktitle":"ICTAC","crossref":"conf/ictac/2016","editor":[{"propositions":[],"lastnames":["Sampaio"],"firstnames":["Augusto"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["Farn"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-46750-4_5","interhash":"e5dded8bf8c6a0025d5de4e2f9863042","intrahash":"a53190b52bd477cd64f9790f22badfd1","isbn":"978-3-319-46749-8","pages":"69-81","series":"Lecture Notes in Computer Science","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","bibtex":"@inproceedings{conf/ictac/FontaineZ16,\n author = {Fontaine, Allyx and Zemmari, Akka},\n booktitle = {ICTAC},\n crossref = {conf/ictac/2016},\n editor = {Sampaio, Augusto and Wang, Farn},\n ee = {http://dx.doi.org/10.1007/978-3-319-46750-4_5},\n interhash = {e5dded8bf8c6a0025d5de4e2f9863042},\n intrahash = {a53190b52bd477cd64f9790f22badfd1},\n isbn = {978-3-319-46749-8},\n pages = {69-81},\n series = {Lecture Notes in Computer Science},\n title = {Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.},\n url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#FontaineZ16},\n volume = 9965,\n year = 2016\n}\n\n","author_short":["Fontaine, A.","Zemmari, A."],"editor_short":["Sampaio, A.","Wang, F."],"key":"conf/ictac/FontaineZ16","id":"conf/ictac/FontaineZ16","bibbaseid":"fontaine-zemmari-certifiedimpossibilityresultsandanalysesincoqofsomerandomiseddistributedalgorithms-2016","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-46750-4_5","Paper":"http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#FontaineZ16"},"downloads":0},"search_terms":["certified","impossibility","results","analyses","coq","randomised","distributed","algorithms","fontaine","zemmari"],"keywords":[],"authorIDs":[],"dataSources":["Z2teajcwr5BDT82qB"]}