Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Time-inhomogeneous markov renewal processes  [Clear All Filters]
2015
Bortolussi L, Lanciani R.  2015.  Fluid Model Checking of Timed Properties. Formal Modeling and Analysis of Timed Systems (FORMATS). 9268:172–188. (473.83 KB)