CONCUR
Book title Buchtitel
CONCUR
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publishing Erscheinungsort
Vol. 59
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph | Parameterized Systems in BIP: Design and Model Checking | Konferenzbeitrag Inproceedings  | 2016 |