Distributed Model Checking: From Abstract Algorithms to Concrete Implementations (2003)

by C JOUBERT
Venue:in « Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking PDMC’2003