Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz. Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. In Robert B. France, Bernhard Rumpe, editors, «UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings. Volume 1723 of Lecture Notes in Computer Science, pages 645-660, Springer, 1999.

Abstract

Abstract is missing.