VeriGEM: A Verification Grid for Enhanced Model Checking

Publications: in EPrints
Further information: http://www.ctit.utwente.nl/research/projects/concluded/national/nwo/focus/verigem.doc/