Filters: Author is Marcelo Fiore [Clear All Filters]
“From Stochastic Automat to Timed Automata: Abstracting probability in a Compositional manner”, in Proceedings of the Argentinian Workshop on Theoretical Computer Science, WAIT 2003. Associated to the 32 JAIIO. {\rm Buenos Aires, Argentina, September 1-5, 2003}, 2003. paper-194.pdf (335.62 KB)
,