Automated Verification of Infinite State Systems


Information Society Technologies (IST) Programme, FET Open Assessment Project: IST-2000-26410

Operative commencement date of contract: May 1st, 2001.


Participants:


Mailing list: aviss@informatik.uni-freiburg.de