Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/23331
-
Titel: 
Formal Verification of Distributed Algorithms
en
Zitat: 
Charron-Bost, B., Merz, S., Rybalchenko, A., & Widder, J. (Eds.). (2013). Formal Verification of Distributed Algorithms. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.3.4.1
-
Verlags-DOI: 
10.4230/DagRep.3.4.1
-
Publikationstyp: 
Konferenzband - Full Paper Book
de
Herausgeber_innen: 
Charron-Bost, Bernadette 
Merz, Stephan 
Rybalchenko, Andrey 
Widder, Josef 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Dagstuhl Reports 
-
Datum (veröffentlicht): 
2013
-
Umfang: 
16
-
Verlag: 
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Proceedings

Zur Langanzeige

Seiten Aufrufe

241
aufgerufen am 23.11.2023

Google ScholarTM

Check