International Conference on Concurrency Theory (CONCUR)
Event name
International Conference on Concurrency Theory (CONCUR)
Start date
03-09-2012
End date
08-09-2012
Location
Newcaslte upon Tyne, UK
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-5 of 5 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Függer, Matthias ; Widder, Josef | Efficient Checking of Link-Reversal-Based Concurrent Systems | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Konnov, Igor ; Veith, Helmut ; Widder, Josef | On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability | Konferenzbeitrag Inproceedings | 2014 | |
| 3 | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized Model Checking of Rendezvous Systems | Konferenzbeitrag Inproceedings | 2014 | |
| 4 | Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph | Parameterized Systems in BIP: Design and Model Checking | Konferenzbeitrag Inproceedings | 2016 | |
| 5 | Kukovec, Jure ; Konnov, Igor ; Widder, Josef | Reachability in Parameterized Systems: All Flavors of Threshold Automata | Konferenzbeitrag Inproceedings | 2018 |