Robert Lissel, Joachim Gerlach
Introducing new verification methods into a company’s design flow: an industrial user’s point of view
DATE, 2007.
@inproceedings{DATE-2007-LisselGG,
author = "Robert Lissel and Joachim Gerlach",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266514",
isbn = "978-3-9810801-2-4",
pages = "689--694",
publisher = "{ACM}",
title = "{Introducing new verification methods into a company’s design flow: an industrial user’s point of view}",
year = 2007,
}