Giovanni Castagnetti

Publication Activity (10 Years)

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

Top Topics

Communication Protocol

Coloured Petri Nets

Video Sequences

Top Venues

Publications

Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko
Automated Synthesis of Protocol Converters with BALM-II. SEFM Workshops (2015)