Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Delay differential equations; Deterministic timed automata  [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)