Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}