DBLP Record 'conf/coop/BeekMLG04'

BibTeX

@inproceedings{DBLP:conf/coop/BeekMLG04,
  author    = {Maurice H. ter Beek and
               Mieke Massink and
               Diego Latella and
               Stefania Gnesi},
  title     = {Model Checking Groupware Protocols},
  booktitle = {COOP},
  year      = {2004},
  pages     = {179-194},
  crossref  = {DBLP:conf/coop/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/coop/2004,
  editor    = {Fran\c{c}oise Darses and
               Rose Dieng and
               Carla Simone and
               Manuel Zacklad},
  title     = {Cooperative Systems Design, Scenario-Based Design of Collaborative
               Systems [Proceedings of COOP 2004, Hy{\`e}res Les Palmiers,
               France, May 11-14, 2004]},
  booktitle = {COOP},
  publisher = {IOS},
  year      = {2004},
  isbn      = {1-58603-422-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}