%0 Conference Paper %1 conf/coop/BeekMLG04 %A ter Beek, Maurice H. %A Massink, Mieke %A Latella, Diego %A Gnesi, Stefania %B COOP %D 2004 %E Darses, Françoise %E Dieng, Rose %E Simone, Carla %E Zacklad, Manuel %I IOS %K dblp %P 179-194 %T Model Checking Groupware Protocols. %U http://dblp.uni-trier.de/db/conf/coop/coop2004.html#BeekMLG04 %@ 1-58603-422-7

@inproceedings{conf/coop/BeekMLG04, added-at = {2018-06-06T00:00:00.000+0200}, author = {ter Beek, Maurice H. and Massink, Mieke and Latella, Diego and Gnesi, Stefania}, biburl = {https://www.bibsonomy.org/bibtex/25dde33aad1d5b3b64e7d029ca140540a/dblp}, booktitle = {COOP}, crossref = {conf/coop/2004}, editor = {Darses, Françoise and Dieng, Rose and Simone, Carla and Zacklad, Manuel}, ee = {https://hdl.handle.net/20.500.12015/3028}, interhash = {08b9170b51c2332a7126a3d55f5b0b93}, intrahash = {5dde33aad1d5b3b64e7d029ca140540a}, isbn = {1-58603-422-7}, keywords = {dblp}, pages = {179-194}, publisher = {IOS}, timestamp = {2018-06-07T11:38:07.000+0200}, title = {Model Checking Groupware Protocols.}, url = {http://dblp.uni-trier.de/db/conf/coop/coop2004.html#BeekMLG04}, year = 2004 }