@inproceedings{DJT3,
title = {Verification of embedded control programs },
author = {Dang, Thao and Jeannet, Bertrand and Testylier, Romain},
year = {2013},
booktitle = {Proceedings of European Conrol Conference ECC},
team = {axe_Mohytos, TEMPO},
ee = {},
bibsource = {},
}
