Giovanni Cantone. Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 325-345, Springer, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.