![](/img/cover-not-exists.png)
A unified approach for showing language inclusion and equivalence between various types of ω-automata
E.M. Clarke, I.A. Draghicescu, R.P. KurshanVolume:
46
Year:
1993
Language:
english
Pages:
8
DOI:
10.1016/0020-0190(93)90069-l
File:
PDF, 621 KB
english, 1993