Login / Signup

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

Francesco MarinuzziStefano Soliani
Published in: ISSAC (1992)
Keyphrases