Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Christoffersen, Peter and Hansen, Mikkel and Mariegaard, Anders and Ringsmose, Julian Trier and Guldstrand Larsen, Kim and Mardare, Radu; André, Étienne and Frehse, Goran, eds. (2015) Parametric verification of weighted systems. In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 77-90. ISBN 9783939897828