Go to main content | Go to main menu | Go to search

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
MU Faculty or unit

Faculty of Informatics

Citation
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info