ptero Victor Khomenko, School of Computing, University of Newcastlelion

-------

Parallel Model Checking

Funding body: EPSRC (GR/M99293/01)

Date: from 1st of September 1999 for three years.

Investigators:

PhD student:

GRANT REVIEW RESULT - Overall assessment: Outstanding

Final IGR report (including the list of publications) can be found here

-------
Victor.Khomenko@ncl.ac.uk