Model Checking of Control-User Systems

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	MORAVCOVÁ VAŘEKOVÁ Pavlína VAŘEKOVÁ
Year of publication	2009
Type	Special-purpose publication
MU Faculty or unit	Faculty of Informatics
Citation
Related projects:	Highly Parallel and Distributed Computing Systems