|
@inproceedings{KPBT06, author = {Simon Künzli and Francesco Poletti and Luca Benini and Lothar Thiele}, title = {Combining Simulation and Formal Methods for System-Level Performance Analysis}, booktitle = {Design Automation and Test in Europe (DATE)}, pages = {236--241}, publisher = {IEEE Computer Society}, year = {2006} }