pdf-format: |
|
@Article{esparza_et_al:DR:2018:9893, author = {Javier Esparza and Pierre Fraignaud and Anca Muscholl and Sergio Rajsbaum}, title = {{Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)}}, pages = {60--79}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {8}, number = {5}, editor = {Javier Esparza and Pierre Fraigniaud and Anca Muscholl and Sergio Rajsbaum}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9893}, URN = {urn:nbn:de:0030-drops-98933}, doi = {10.4230/DagRep.8.5.60}, annote = {Keywords: distributed computing, distributed systems, formal verification} }
Keywords: | distributed computing, distributed systems, formal verification | |
Seminar: | Dagstuhl Reports, Volume 8, Issue 5 | |
Issue date: | 2018 | |
Date of publication: | 19.11.2018 |