Formal Modeling and Analysis of Timed Systems, vol. 3829
eBook
Full text availability for this item
Coverage:
- 2005