H | |
---|---|
[HR03] | Yoram Hirshfeld and
Alexander Rabinovich.
Future Temporal Logic Needs Infinitely Many
Modalities.
Information and Computation 187(2):196-208. Academic Press, December 2003.
|
Search
Displayed 1 resultList of authors
- 1
- 1