%0 Conference Paper %1 conf/woa/GiordanoMTBM05 %A Giordano, Laura %A Martelli, Alberto %A Terenziani, Paolo %A Bottrighi, Alessio %A Montani, Stefania %B WOA %D 2005 %E Corradini, Flavio %E Paoli, Flavio De %E Merelli, Emanuela %E Omicini, Andrea %I Pitagora Editrice Bologna %K dblp %P 171-176 %T A Temporal Approach to the Specification and Verification of Interaction Protocols. %U http://dblp.uni-trier.de/db/conf/woa/woa2005.html#GiordanoMTBM05 %@ 88-371-1590-3

@inproceedings{conf/woa/GiordanoMTBM05, added-at = {2020-03-12T00:00:00.000+0100}, author = {Giordano, Laura and Martelli, Alberto and Terenziani, Paolo and Bottrighi, Alessio and Montani, Stefania}, biburl = {https://www.bibsonomy.org/bibtex/2d5568f65ab2a207ea74acf3b8894c4d3/dblp}, booktitle = {WOA}, crossref = {conf/woa/2005}, editor = {Corradini, Flavio and Paoli, Flavio De and Merelli, Emanuela and Omicini, Andrea}, ee = {http://lia.deis.unibo.it/books/woa2005/papers/24.pdf}, interhash = {5772f5f982e5d4421ab60ff829db5594}, intrahash = {d5568f65ab2a207ea74acf3b8894c4d3}, isbn = {88-371-1590-3}, keywords = {dblp}, pages = {171-176}, publisher = {Pitagora Editrice Bologna}, timestamp = {2020-03-13T12:32:58.000+0100}, title = {A Temporal Approach to the Specification and Verification of Interaction Protocols.}, url = {http://dblp.uni-trier.de/db/conf/woa/woa2005.html#GiordanoMTBM05}, year = 2005 }