Masarykova univerzita

Výpis publikací

2007

Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007. s. 257-264. ISBN 978-80-7355-077-6.

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