publications([{ "type_publi": "autre", "title": "Formal specification of multimodality", "booktitle": "CHI'95 Workshop on Formal Specifications of User Interfaces, Denver", "year": 1995, "uri": "http://iihm.imag.fr/publication/NJC95a/", "bibtype": "unpublished", "abbr": "NJC95a", "authors": { "1": { "first_name": "Laurence", "last_name": "Nigay" }, "2": { "first_name": "Francis", "last_name": "Jambon" }, "3": { "first_name": "Joƫlle", "last_name": "Coutaz" } }, "date": "1995-01-01", "document": "http://iihm.imag.fr/publs/1995/CHI95Worshop_FormalSpec.ps.gz", "type": "Autres publications", "id": 355 }]);