%0 Conference Paper %1 conf/iadis/CherubiniCFS05 %A Cherubini, Alessandra %A Colombo, Enzo %A Francalanci, Chiara %A Spoletini, Paola %B IADIS AC %D 2005 %E Guimarães, Nuno %E Isaías, Pedro T. %I IADIS %K dblp %P 467-478 %T A formal approach supporting the specification and verification of business conversation requirements. %U http://dblp.uni-trier.de/db/conf/iadis/ac2005-1.html#CherubiniCFS05 %@ 972-99353-6-X

@inproceedings{conf/iadis/CherubiniCFS05, added-at = {2006-02-13T00:00:00.000+0100}, author = {Cherubini, Alessandra and Colombo, Enzo and Francalanci, Chiara and Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/256d0407a7139bc573426f531eb6c56a6/dblp}, booktitle = {IADIS AC}, crossref = {conf/iadis/2005ac}, date = {2006-02-13}, description = {dblp}, editor = {Guimarães, Nuno and Isaías, Pedro T.}, interhash = {e5d075b87cca2c4807ad7f45529b6f14}, intrahash = {56d0407a7139bc573426f531eb6c56a6}, isbn = {972-99353-6-X}, keywords = {dblp}, pages = {467-478}, publisher = {IADIS}, timestamp = {2006-02-13T00:00:00.000+0100}, title = {A formal approach supporting the specification and verification of business conversation requirements.}, url = {http://dblp.uni-trier.de/db/conf/iadis/ac2005-1.html#CherubiniCFS05}, year = 2005 }