Modular model checking of software (1998)

by K Laster, O Grumberg
Venue:In TACAS ’98: Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems