V | |
---|---|
[VW08] | Moshe Y. Vardi and
Thomas Wilke.
Automata: from logics to algorithms.
In Jörg Flum,
Erich Grädel, and
Thomas Wilke (eds.),
Logic and Automata: History and Perspectives,
Texts in Logic and Games 2, pages 629-736. Amsterdam University Press, 2008.
|
Search
Displayed 1 resultList of authors
- 1
- 1