Massimo Tivoli, Marco Autili. SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L OBJET, 12(1):77-103, 2006. [doi]
@article{TivoliA06,
title = {SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors},
author = {Massimo Tivoli and Marco Autili},
year = {2006},
url = {http://objet.revuesonline.com/article.jsp?articleId=7950},
tags = {protocol},
researchr = {https://researchr.org/publication/TivoliA06},
cites = {0},
citedby = {0},
journal = {L OBJET},
volume = {12},
number = {1},
pages = {77-103},
}