C. Wooff;D. Hodgkinson
Univ. of Liverpool, Liverpool, UK;Univ. of Liverpool, Liverpool, UK
LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes: symbolic and inductive techniques
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
IEEE Transactions on Software Engineering