LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes: Symbolic and inductive techniques. (English)
Wang, Paul S. (ed.), International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27-29, 1992. Baltimore, MD: ACM Press. 303-311 (1992).
1
LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes: symbolic and inductive techniques (English)
ISSAC, 303-311 (1992).
2
Start
Contact
Print
General Help
