Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco
ArChiVED: Architectural checking via event digests for high performance validation
DATE, 2014.
@inproceedings{DATE-2014-HsuCMGB,
author = "Chang-Hong Hsu and Debapriya Chatterjee and Ronny Morad and Raviv Gal and Valeria Bertacco",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.330",
pages = "1--6",
publisher = "{IEEE}",
title = "{ArChiVED: Architectural checking via event digests for high performance validation}",
year = 2014,
}