Falko Bause, Peter Buchholz, Peter Kemper. A Toolbox for Functional and Quantitative Analysis of DEDS. In Ramón Puigjaner, Nunzio N. Savino, Bartomeu Serra, editors, Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools 98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings. Volume 1469 of Lecture Notes in Computer Science, pages 356-359, Springer, 1998.
Abstract is missing.