Parallel Model Checking on a Shared Memory Machine

4^th February 2003, 16:00
Cornelia Inggs,
Department of Computer Science, University of Manchester, UK