%0 Conference Paper %1 conf/icse/BeekMLGFS05 %A ter Beek, Maurice H. %A Massink, Mieke %A Latella, Diego %A Gnesi, Stefania %A Forghieri, Alessandro %A Sebastianis, Maurizio %B ICSE %D 2005 %E Roman, Gruia-Catalin %E Griswold, William G. %E Nuseibeh, Bashar %I ACM %K dblp %P 596-603 %T A case study on the automated verification of groupware protocols. %U http://dblp.uni-trier.de/db/conf/icse/icse2005.html#BeekMLGFS05

@inproceedings{conf/icse/BeekMLGFS05, added-at = {2023-06-26T00:00:00.000+0200}, author = {ter Beek, Maurice H. and Massink, Mieke and Latella, Diego and Gnesi, Stefania and Forghieri, Alessandro and Sebastianis, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/20c518cd790bcecb9a4a6e0fbf703ff97/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2005}, editor = {Roman, Gruia-Catalin and Griswold, William G. and Nuseibeh, Bashar}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553606}, interhash = {b918c7667329ff8ceea8143f47d673a0}, intrahash = {0c518cd790bcecb9a4a6e0fbf703ff97}, keywords = {dblp}, pages = {596-603}, publisher = {ACM}, timestamp = {2024-04-10T05:36:15.000+0200}, title = {A case study on the automated verification of groupware protocols.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2005.html#BeekMLGFS05}, year = 2005 }