Výpis publikací

2008

1. Model Checking of Control-User Component-Based Parametrised Systems

   MORAVCOVÁ VAŘEKOVÁ, Pavlína a Ivana ČERNÁ. Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany: Springer Verlag, 2008, s. 146-162. ISBN 978-3-540-87890-2.

   Podrobněji: https://is.muni.cz/publication/791378/cs