An analyzer for message sequence charts
- 1 January 1996
- book chapter
- Published by Springer Nature
- Vol. 17 (2) , 35-48
- https://doi.org/10.1007/3-540-61042-1_37
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Timing Verification by Successive ApproximationInformation and Computation, 1995
- An Algebraic Semantics of Basic Message Sequence ChartsThe Computer Journal, 1994
- A Theorem on Boolean MatricesJournal of the ACM, 1962