I - A Classic Theory of Reactive Systems
Published online by Cambridge University Press: 17 March 2011
- Type
- Chapter
- Information
- Reactive SystemsModelling, Specification and VerificationPublisher: Cambridge University PressPrint publication year: 2007