Modular model checking (1998)

by O Kupferman, M Y Vardi
Venue:In Compositionality: The Significant Difference