Clarke M edmund G. O. P. A. D., . (1999). Model Checking. London: The MIT Press.
Clarke M edmund Grumberg Orna Pale A Doron, . 1999. Model Checking. London: The MIT Press.
Clarke M edmund Grumberg Orna Pale A Doron, . Model Checking. London: The MIT Press. 1999.