Publications

Export 1 results:
Type [ Year(Asc)]
Filters: Keyword is Weighted graphs  [Clear All Filters]
2015
Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M.  2015.  Qualitative and quantitative monitoring of spatio-temporal properties. Runtime Verification (RV). 9333:21–37. (775.26 KB)