%0 Conference Paper %1 conf/concur/BonakdarpourFRR16 %A Bonakdarpour, Borzoo %A Fraigniaud, Pierre %A Rajsbaum, Sergio %A Rosenblueth, David A. %A Travers, Corentin %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 16:1-16:15 %T Decentralized Asynchronous Crash-Resilient Runtime Verification. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#BonakdarpourFRR16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/BonakdarpourFRR16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Bonakdarpour, Borzoo and Fraigniaud, Pierre and Rajsbaum, Sergio and Rosenblueth, David A. and Travers, Corentin}, biburl = {https://www.bibsonomy.org/bibtex/25d76ab5406844ddaf0b7e3e416ab4c5b/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.16}, interhash = {2281d879370b53292a90ca1090a7a760}, intrahash = {5d76ab5406844ddaf0b7e3e416ab4c5b}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {16:1-16:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {Decentralized Asynchronous Crash-Resilient Runtime Verification.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#BonakdarpourFRR16}, volume = 59, year = 2016 }