An automata-theoretic approach to linear temporal logic (1996)

by Moshe Y. Vardi
Venue:Logics for Concurrency: Structure versus Automata, volume 1043 of Lecture Notes in Computer Science
Citations:217 - 22 self