%0 Conference Paper %1 conf/sefm/CastagnettiPVYB15 %A Castagnetti, Giovanni %A Piccolo, Matteo %A Villa, Tiziano %A Yevtushenko, Nina %A Brayton, Robert K. %A Mishchenko, Alan %B SEFM Workshops %D 2015 %E Bianculli, Domenico %E Calinescu, Radu %E Rumpe, Bernhard %I Springer %K dblp %P 281-296 %T Automated Synthesis of Protocol Converters with BALM-II. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2015w.html#CastagnettiPVYB15 %V 9509 %@ 978-3-662-49223-9

@inproceedings{conf/sefm/CastagnettiPVYB15, added-at = {2022-02-15T00:00:00.000+0100}, author = {Castagnetti, Giovanni and Piccolo, Matteo and Villa, Tiziano and Yevtushenko, Nina and Brayton, Robert K. and Mishchenko, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2fb5346d615246b9e414526c7107e3953/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2015w}, editor = {Bianculli, Domenico and Calinescu, Radu and Rumpe, Bernhard}, ee = {https://doi.org/10.1007/978-3-662-49224-6_23}, interhash = {7d985745cc86f0575b45e389662b057d}, intrahash = {fb5346d615246b9e414526c7107e3953}, isbn = {978-3-662-49223-9}, keywords = {dblp}, pages = {281-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:22:21.000+0200}, title = {Automated Synthesis of Protocol Converters with BALM-II.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2015w.html#CastagnettiPVYB15}, volume = 9509, year = 2015 }