International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Book title Buchtitel
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Publisher Herausgeber
Springer
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking | Konferenzbeitrag Inproceedings  | 2019 |