@inproceedings{iihm-BMN+07a,
	title = {Formal Testing of Multimodal Interactive Systems},
	author = {Bouchet, Jullien and Madani, Laya and Nigay, Laurence and Oriat, Catherine and Parissis, Ioannis},
	year = {2007},
	pages = {36-52},
	booktitle = {Engineering Interactive Systems ({EIS}'07)},
	doi = {http://dx.doi.org/10.1007/978-3-540-92698-6_3},
	uri = {http://iihm.imag.fr/publication/BMN+07a/},
	pdf = {http://iihm.imag.fr/publs/2007/DSVIS06-MultiFormal.pdf},
	type_publi = {icolcomlec},
	type = {Conf{\'{e}}rences internationales de large diffusion avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}