Figures and tables
Published online by Cambridge University Press: 17 March 2011
Summary
- Type
- Chapter
- Information
- Reactive SystemsModelling, Specification and Verification, pp. viii - ixPublisher: Cambridge University PressPrint publication year: 2007