3D layout of reachability graphs of communicating processes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- 3D layout of reachability graphs of communicating processesPublished by Springer Nature ,1995
- Reachability analysis on distributed executionsPublished by Springer Nature ,1993
- Methods for Visual Understanding of Hierarchical System StructuresIEEE Transactions on Systems, Man, and Cybernetics, 1981