Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
I. Konnov, J. Widder:
"ByMC: Byzantine Model Checker";
Vortrag: International Symposium on Leveraging Applications of Formal Methods (ISoLA),
Limasol, Zypern;
05.11.2018
- 09.11.2018; in: "ISOLA",
Lecture Notes in Computer Science. Springer Verlag.,
11246
(2018),
ISBN: 978-3-642-34025-3;
S. 327
- 342.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-03424-5_22
Elektronische Version der Publikation:
https://link.springer.com/chapter/10.1007%2F978-3-030-03424-5_22
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.