An automata-theoretic approach to reasoning about infinite-state systems (2000)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Venue:LNCS
Citations:33 - 4 self