@inproceedings{ND7b,
title = { Guided Randomized Simulation },
author = {Nahhal, Tarik and Dang, Thao},
year = {2007},
booktitle = {HSCC},
pages = {731-735},
publisher = {Springer},
series = {LNCS},
volume = {4416},
team = {axe_Mohytos, TEMPO},
}
