Communication Dans Un Congrès
Année : 2010
Liliana Cucu-Grosjean : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00544646
Soumis le : mercredi 8 décembre 2010-15:51:10
Dernière modification le : jeudi 15 février 2024-03:30:48
Dates et versions
Identifiants
- HAL Id : inria-00544646 , version 1
Citer
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⟩
Collections
67
Consultations
0
Téléchargements