Stoilkovska, Ilina
Full name Familienname, Vorname
Stoilkovska, Ilina
Access Type
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Aminof, Benjamin; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef; Zuleger, Florian | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | Inproceedings Konferenzbeitrag   | 2018 |