Handbook of Automata Theory


Book articles | Book details

pp: 1415–1456

DOI: 10.4171/Automata-1/38

Verification

Javier Esparza[1], Orna Kupferman[2] and Moshe Y. Vardi[3]

(1) Technische Universit√§t M√ľnchen, Germany
(2) Hebrew University, Jerusalem, Israel
(3) Rice University, Houston, USA

No abstract available for this article.

No keywords available for this article.

BACK TO TOP