Project information
Methods for (semi)automatic Verification of Concurrent Systems
- Project Identification
- MUNI/33/001/1998
- Project Period
- 1/1998 - 1/1999
- Investor / Pogramme / Project type
-
Masaryk University
- Rector's programme to support MU student's creative work
- MU Faculty or unit
- Faculty of Informatics
- Project Website
- http://www.fi.muni.cz/usr/kucera/projects/AvH.html.cz