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

Publication details

Model Checking of Control-User Systems

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