Login / Signup
Matteo Piccolo
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Communication Protocol
Lightweight
Coloured Petri Nets
Video Sequences
Top Venues
SEFM Workshops
</>
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)