L | |
---|---|
[LL98] | François Laroussinie and
Kim Guldstrand Larsen.
CMC: A Tool for Compositional Model-Checking of
Real-Time Systems.
In FORTE/PSTV'98,
IFIP Conference Proceedings 135, pages 439-456. Kluwer Academic, October 1998.
|
Search
Displayed 1 resultList of authors
- 1
- 1