Francesco Marinuzzi, Stefano Soliani. LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. In ISSAC. pages 303-311, 1992. [doi]
@inproceedings{MarinuzziS92, title = {LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques}, author = {Francesco Marinuzzi and Stefano Soliani}, year = {1992}, doi = {10.1145/143242.143340}, url = {http://doi.acm.org/10.1145/143242.143340}, tags = {analysis}, researchr = {https://researchr.org/publication/MarinuzziS92}, cites = {0}, citedby = {0}, pages = {303-311}, booktitle = {ISSAC}, }