Results 1 -
1 of
1
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 |
