Stefano Soliani

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

1 EE Francesco Marinuzzi, Stefano Soliani: LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. ISSAC 1992: 303-311

1992
1	EE	Francesco Marinuzzi, Stefano Soliani: LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. ISSAC 1992: 303-311

Coauthor Index

1 Francesco Marinuzzi [1]