Publications

Found 1 results
Filters: Keyword is UPPAAL and Author is Franco Cicirelli  [Clear All Filters]
2012
F. Cicirelli, Furfaro, A., and Nigro, L., “Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal”, Applied Mathematics and Computation, vol. 218, pp. 8160 - 8186, 2012.