@article{iihm-ODC15c,
	title = {Verification of Plastic Interactive Systems},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {192-204},
	journal = {Journal of Interactive Media (i-com)},
	volume = {3},
	publisher = {De Gruyter publication},
	uri = {http://iihm.imag.fr/publication/ODC15c/},
	pdf = {http://iihm.imag.fr/publs/2015/icom-2015-0036.pdf},
	type_publi = {irevcomlec},
	type = {Revues internationales avec comit{\'{e}} de lecture},
	x-proceedings = {no},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}