Gabriele Quaroni

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
Combining UML and formal notations for modelling real-time systems. ESEC / SIGSOFT FSE (2001)