"Tools and Algorithms for the Construction and Analysis of Systems - 22nd ..."

Marsha Chechik, Jean-François Raskin (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics