LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques.

Francesco Marinuzzi, Stefano Soliani

Browse the full ISSAC paper archive.