Uppaal: Status & developments
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 456-459
- https://doi.org/10.1007/3-540-63166-6_47
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- A compositional proof of a real-time mutual exclusion protocolPublished by Springer Nature ,1997
- Model-checking for real-time systemsPublished by Springer Nature ,1995