@inproceedings{DN8,
title = {Using Disparity to Enhance Test Generation for Hybrid Systems },
author = {Dang, Thao and Nahhal, Tarik},
year = {2008},
booktitle = {TestCom/FATES 2008},
pages = {54-69},
publisher = {Springer},
series = {LNCS},
team = {axe_Mohytos, TEMPO},
}
