V | |
---|---|
[VS85] | Moshe Y. Vardi and
Larry J. Stockmeyer.
Improved Upper and Lower Bounds for Modal Logics of
Programs.
In STOC'85,
pages 240-251.
ACM Press, May 1985.
|
Search
Displayed 1 resultList of authors
- 1
- 1
V | |
---|---|
[VS85] | Moshe Y. Vardi and
Larry J. Stockmeyer.
Improved Upper and Lower Bounds for Modal Logics of
Programs.
In STOC'85,
pages 240-251.
ACM Press, May 1985.
|