Publications

Found 1 results
Filters: Author is L. Santinelli  [Clear All Filters]
2015
L. Santinelli and Cucu-Grosjean, L., A probabilistic calculus for probabilistic real-time systems. ACM Transactions on Embedded Computing Systems, 2015.