Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Book title Buchtitel
Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
ISBN
978-3-030-50086-3
Publisher Herausgeber
Springer
DOI
10.1007/978-3-030-50086-3
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
12136
Access Type
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Konnov, Igor ; Lazic, Marijana ; Stoilkovska, Ilina ; Widder, Josef | Tutorial: Parameterized Verification with Byzantine Model Checker | Inproceedings Konferenzbeitrag    | 8-Jun-2020 |