VOCHS: Verification of Complex Hierarchical Systems
Funded by:
NWO
Duration: September 2010
until August 2014
Contact:
G. Kant