publications([{ "type_publi": "icolcomlec", "doi": "http://dx.doi.org/10.1007/978-3-540-92698-6_3", "title": "Formal Testing of Multimodal Interactive Systems", "booktitle": "Engineering Interactive Systems (EIS'07)", "year": 2007, "uri": "http://iihm.imag.fr/publication/BMN+07a/", "id": 59, "bibtype": "inproceedings", "abbr": "BMN+07a", "authors": { "1": { "first_name": "Jullien", "last_name": "Bouchet" }, "2": { "first_name": "Laya", "last_name": "Madani" }, "3": { "first_name": "Laurence", "last_name": "Nigay" }, "4": { "first_name": "Catherine", "last_name": "Oriat" }, "5": { "first_name": "Ioannis", "last_name": "Parissis" } }, "date": "2007-01-01", "document": "http://iihm.imag.fr/publs/2007/DSVIS06-MultiFormal.pdf", "type": "Conférences internationales de large diffusion avec comité de lecture sur texte complet", "pages": "36-52" }]);