Department Seminar Series
Parallel Model Checking on a Shared Memory Machine
4th February 2003, 16:00
Cornelia Inggs,
Department of Computer Science, University of Manchester, UK
Maintained by Othon Michail