Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}