@inproceedings{DN6b,
title = {Simulation of Hybrid Systems For Circuit Validation },
author = {Dang, Thao and Nahhal, Tarik},
year = {2006},
booktitle = {FDL 2006},
pages = {"9-15"},
team = {axe_Mohytos, TEMPO},
}
