Some approximations in Model Checking and Testing (bibtex)

by M.C. Gaudel, R. Lassaigne, M. de Rougemont and F. Magniez

Reference:

Some approximations in Model Checking and Testing (M.C. Gaudel, R. Lassaigne, M. de Rougemont and F. Magniez), Technical report arXiv:1304.5199, arXiv.org, 2013, Survey.

Bibtex Entry:

@techreport{glmr13,
	author = {M.C. Gaudel and R. Lassaigne and M. de Rougemont and F. Magniez},
	institution = {arXiv.org},
	note = {Survey},
	number = {arXiv:1304.5199},
	pdf = {./PAPIERS/glmr13.pdf},
	title = {Some approximations in Model Checking and Testing},
	url = {http://arxiv.org/abs/1304.5199},
	year = {2013},
	bdsk-url-1 = {http://arxiv.org/abs/1304.5199},
	bdsk-url-2 = {./PAPIERS/glmr13.pdf}}