Automated Technology for Verification and Analysis. 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
Book title Buchtitel
Automated Technology for Verification and Analysis. 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings
ISBN
978-3-030-59152-6
Publisher Herausgeber
Springer
DOI
10.1007/978-3-030-59152-6
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
12302
Access Type
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Eliminating Message Counters in Threshold Automata | Inproceedings Konferenzbeitrag    | 12-Oct-2020 |