Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe
Functional qualification of TLM verification
DATE, 2009.
@inproceedings{DATE-2009-BombieriFPHL,
author = "Nicola Bombieri and Franco Fummi and Graziano Pravadelli and Mark Hampton and Florian Letombe",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "190--195",
publisher = "{IEEE}",
title = "{Functional qualification of TLM verification}",
year = 2009,
}