Automated Verification = Graphs, Automata, and Logic.

Moshe Y. Vardi Automated Verification = Graphs, Automata, and Logic. 139 http://link.springer.de/link/service/series/0558/bibs/1862/18620139.htm 2000 conf/csl/2000 CSL db/conf/csl/csl2000.html#Vardi00