%0 Conference Paper %1 conf/clima/BaldoniBMP05 %A Baldoni, Matteo %A Baroglio, Cristina %A Martelli, Alberto %A Patti, Viviana %B CLIMA %D 2005 %E Toni, Francesca %E Torroni, Paolo %I Springer %K dblp %P 265-283 %T Verification of Protocol Conformance and Agent Interoperability. %U http://dblp.uni-trier.de/db/conf/clima/climaVI2005.html#BaldoniBMP05 %V 3900 %@ 3-540-33996-5

@inproceedings{conf/clima/BaldoniBMP05, added-at = {2017-05-17T00:00:00.000+0200}, author = {Baldoni, Matteo and Baroglio, Cristina and Martelli, Alberto and Patti, Viviana}, biburl = {https://www.bibsonomy.org/bibtex/2f5cddf66a78adb702ff269cf5a483859/dblp}, booktitle = {CLIMA}, crossref = {conf/clima/2005}, editor = {Toni, Francesca and Torroni, Paolo}, ee = {https://doi.org/10.1007/11750734_15}, interhash = {e4e8b31640c39eb5a25b56ab239bd003}, intrahash = {f5cddf66a78adb702ff269cf5a483859}, isbn = {3-540-33996-5}, keywords = {dblp}, pages = {265-283}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:53:19.000+0200}, title = {Verification of Protocol Conformance and Agent Interoperability.}, url = {http://dblp.uni-trier.de/db/conf/clima/climaVI2005.html#BaldoniBMP05}, volume = 3900, year = 2005 }