Login / Signup

A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.

Edmund M. ClarkeI. A. DraghicescuRobert P. Kurshan
Published in: Inf. Process. Lett. (1993)
Keyphrases