Daniel Karlsson, Petru Eles, Zebo Peng
Formal verification of systemc designs using a petri-net based representation
DATE, 2006.
@inproceedings{DATE-2006-KarlssonEP, author = "Daniel Karlsson and Petru Eles and Zebo Peng", booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}", doi = "10.1145/1131824", pages = "1228--1233", publisher = "{European Design and Automation Association, Leuven, Belgium}", title = "{Formal verification of systemc designs using a petri-net based representation}", year = 2006, }