Module checking (1996)

by O Kupferman, M Y Vardi
Venue:Proceedings of the Eighth International Conference on Computer Aided Verification, Lecture Notes in Computer Science 1102