Project information

Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí

Project Identification
8J18FR045
Project Period
1/2018 - 12/2019
Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
MU Faculty or unit
Faculty of Informatics

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

More info