%0 Conference Paper %1 conf/date/KunzliPBT06 %A Künzli, Simon %A Poletti, Francesco %A Benini, Luca %A Thiele, Lothar %B DATE %D 2006 %E Gielen, Georges G. E. %I European Design and Automation Association, Leuven, Belgium %K dblp %P 236-241 %T Combining simulation and formal methods for system-level performance analysis. %U http://dblp.uni-trier.de/db/conf/date/date2006p.html#KunzliPBT06 %@ 3-9810801-1-4

@inproceedings{conf/date/KunzliPBT06, added-at = {2015-11-11T00:00:00.000+0100}, author = {Künzli, Simon and Poletti, Francesco and Benini, Luca and Thiele, Lothar}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28acd28322445ec378e26691e9feef756/dblp}, booktitle = {DATE}, crossref = {conf/date/2006p}, editor = {Gielen, Georges G. E.}, ee = {http://dl.acm.org/citation.cfm?id=1131547}, interhash = {96a17df936e3035a2559c0493039e666}, intrahash = {8acd28322445ec378e26691e9feef756}, isbn = {3-9810801-1-4}, keywords = {dblp}, pages = {236-241}, publisher = {European Design and Automation Association, Leuven, Belgium}, timestamp = {2016-02-02T13:23:37.000+0100}, title = {Combining simulation and formal methods for system-level performance analysis.}, url = {http://dblp.uni-trier.de/db/conf/date/date2006p.html#KunzliPBT06}, year = 2006 }