@phdthesis{iihm-O15a,
	title = {Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision},
	author = {Oliveira, Raquel},
	year = {2015},
	pages = {250},
	doi = {https://tel.archives-ouvertes.fr/tel-01253619},
	url = {https://tel.archives-ouvertes.fr/tel-01253619},
	uri = {http://iihm.imag.fr/publication/O15a/},
	type_publi = {these},
	type = {Th{\`{e}}ses et habilitations},
	x-proceedings = {no},
	x-editorial-board = {no},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}