%0 Conference Paper %1 conf/concur/AiswaryaBG15 %A Aiswarya, C. %A Bollig, Benedikt %A Gastin, Paul %B CONCUR %D 2015 %E Aceto, Luca %E de Frutos-Escrig, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 340-353 %T An Automata-Theoretic Approach to the Verification of Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/concur/concur2015.html#AiswaryaBG15 %V 42 %@ 978-3-939897-91-0

@inproceedings{conf/concur/AiswaryaBG15, added-at = {2023-12-14T14:49:51.000+0100}, author = {Aiswarya, C. and Bollig, Benedikt and Gastin, Paul}, biburl = {https://www.bibsonomy.org/bibtex/29b19a3ed61b67d539419d5d312347603/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2015}, editor = {Aceto, Luca and de Frutos-Escrig, David}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.340}, interhash = {e3c0c4bb4664d319127d4099997e5e67}, intrahash = {9b19a3ed61b67d539419d5d312347603}, isbn = {978-3-939897-91-0}, keywords = {}, pages = {340-353}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-14T14:49:51.000+0100}, title = {An Automata-Theoretic Approach to the Verification of Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2015.html#AiswaryaBG15}, volume = 42, year = 2015 }