printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
  

List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found. 
@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}
}
1 entry found.

 
 Back