Automated Synthesis of Protocol Converters with BALM-II.

Giovanni Castagnetti, Matteo Piccolo, Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko

Browse the full SEFM paper archive.