Parametric Analysis of Computer Systems.
Journal
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings
Pages
539-553
Date Issued
1997
Author(s)
Type
conference paper