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