@inproceedings{ND7a,
title = { Test Coverage for Continuous and Hybrid Systems },
author = {Nahhal, Tarik and Dang, Thao},
year = {2007},
booktitle = {CAV},
pages = {449-462},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4590},
team = {axe_Mohytos, TEMPO},
}
