"Interactive presentation: Functional and timing validation of partially ..."

Qiang Zhu, Aviral Shrivastava, Nikil D. Dutt (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics