%0 Conference Paper %1 conf/sac/AnconaBM13 %A Ancona, Davide %A Barbieri, Matteo %A Mascardi, Viviana %B SAC %D 2013 %E Shin, Sung Y. %E Maldonado, José Carlos %I ACM %K dblp %P 1377-1379 %T Constrained global types for dynamic checking of protocol conformance in multi-agent systems. %U http://dblp.uni-trier.de/db/conf/sac/sac2013.html#AnconaBM13 %@ 978-1-4503-1656-9

@inproceedings{conf/sac/AnconaBM13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ancona, Davide and Barbieri, Matteo and Mascardi, Viviana}, biburl = {https://www.bibsonomy.org/bibtex/21c07cceed5cccc8259e35b9f24a632af/dblp}, booktitle = {SAC}, crossref = {conf/sac/2013}, editor = {Shin, Sung Y. and Maldonado, José Carlos}, ee = {https://doi.org/10.1145/2480362.2480620}, interhash = {9f1688a39b38ef168660801f925311b1}, intrahash = {1c07cceed5cccc8259e35b9f24a632af}, isbn = {978-1-4503-1656-9}, keywords = {dblp}, pages = {1377-1379}, publisher = {ACM}, timestamp = {2018-11-07T16:24:11.000+0100}, title = {Constrained global types for dynamic checking of protocol conformance in multi-agent systems.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2013.html#AnconaBM13}, year = 2013 }