Philippe A. Palanque, Rémi Bastide. Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. In Mark A. R. Kirby, Alan J. Dix, Janet Finlay, editors, People and Computers X, Proceedings of HCI 95, Huddersfield, August 1995. pages 213-231, Cambridge University Press, 1995.
@inproceedings{PalanqueB95,
title = {Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism},
author = {Philippe A. Palanque and Rémi Bastide},
year = {1995},
researchr = {https://researchr.org/publication/PalanqueB95},
cites = {0},
citedby = {0},
pages = {213-231},
booktitle = {People and Computers X, Proceedings of HCI 95, Huddersfield, August 1995},
editor = {Mark A. R. Kirby and Alan J. Dix and Janet Finlay},
publisher = {Cambridge University Press},
isbn = {0-521-56729-7},
}