Browsing by Author

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Aminof Benjamin - 2018 - Parameterized Model Checking of Synchronous Distributed...pdf.jpgAminof, Benjamin; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef; Zuleger, FlorianParameterized Model Checking of Synchronous Distributed Algorithms by AbstractionInproceedings Konferenzbeitrag 2018