Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino. Formal Modeling of Multi-user Interfaces in Cooperative Work. In Valeria Herskovic, Heinz Ulrich Hoppe, Marc Jansen, Jürgen Ziegler, editors, Collaboration and Technology - 18th International Conference, CRIWG 2012, Raesfeld, Germany, September 16-19, 2012 Proceedings. Volume 7493 of Lecture Notes in Computer Science, pages 129-136, Springer, 2012. [doi]
@inproceedings{WeyersLBP12, title = {Formal Modeling of Multi-user Interfaces in Cooperative Work}, author = {Benjamin Weyers and Wolfram Luther and Nelson Baloian and José A. Pino}, year = {2012}, doi = {10.1007/978-3-642-33284-5_11}, url = {http://dx.doi.org/10.1007/978-3-642-33284-5_11}, researchr = {https://researchr.org/publication/WeyersLBP12}, cites = {0}, citedby = {0}, pages = {129-136}, booktitle = {Collaboration and Technology - 18th International Conference, CRIWG 2012, Raesfeld, Germany, September 16-19, 2012 Proceedings}, editor = {Valeria Herskovic and Heinz Ulrich Hoppe and Marc Jansen and Jürgen Ziegler}, volume = {7493}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-33283-8}, }