@inproceedings{DN6a,
title = {Randomized simulation of hybrid systems for circuit validation },
author = {Dang, Thao and Nahhal, Tarik},
year = {2006},
booktitle = {Proceedings of FDL06 - Forum on specification and Design Languages},
team = {axe_Mohytos, TEMPO},
}
