PART II - LOGICS
Published online by Cambridge University Press: 13 October 2016
Summary
- Type
- Chapter
- Information
- Temporal Logics in Computer ScienceFinite-State Systems, pp. 83 - 84Publisher: Cambridge University PressPrint publication year: 2016