V | |
---|---|
[VW86] | Moshe Y. Vardi and
Pierre Wolper.
Automata Theoretic Techniques for Modal Logics of
Programs.
Journal of Computer and System Sciences 32(2):183-221. Academic Press, April 1986.
|
Search
Displayed 1 resultList of authors
- 1
- 1