Francesco Marinuzzi

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Giuseppe Iazeolla, Francesco Marinuzzi
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. IEEE Trans. Software Eng. 19 (5) (1993)
Francesco Marinuzzi, Stefano Soliani
LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. ISSAC (1992)