Author:
Lanese Ivan,Montesi Fabrizio,Zavattaro Gianluigi
Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;G. Anderson,2012
2. Lecture Notes in Computer Science;L. Bettini,2008
3. Bhargavan, K., Corin, R., Deniélou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: CSF, pp. 124–140. IEEE Computer Society (2009)
4. Lecture Notes in Computer Science;M. Boreale,2006
5. Lecture Notes in Computer Science;M. Boreale,2008
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献