Main Page
Related Pages
Classes
Files
S
earch for
mcrl2_explicit_system.hh File Reference
Go to the source code of this file.
Detailed Description
The main contribution of this file is the class mcrl2_explicit_system_t
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University