Model Checking as A Reachability Problem [chapter]

Moshe Y. Vardi
2009 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-04420-5_5 fatcat:fxd6kr3oazbibm7vc3vqfumtpi