Luca Santinelli, Liliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus.
the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems(CRTS 2010), Enrico Bini and Giuseppe Lipari, Dec 2010, San Diego, United States.
⟨inria-00544646⟩