Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.

Hugo Bazille, Eric Fabre, Blaise Genest

Browse the full FOSSACS paper archive.