printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.
@inproceedings{KGCLAT12,
 author = {Pratyush Kumar and Dip Goswami and Samarjit Chakraborty and Anuradha Annaswamy and Kai Lampka and Lothar Thiele},
 title = {A Hybrid Approach to Cyber-Physical Systems Verification},
 address = {San Fransisco, USA},
 booktitle = {In Proceedings of the 49th Design Automation Conference, DAC 2012},
 pages = {688--696},
 publisher = {ACM},
 month = {Jun},
 year = {2012}
}



1 entry found.

 
 Back

top
© 2017 Laboratory TIK, ETH Zurich | Imprint | Last updated on Fri, 28 Apr, 2017 08:18 | t=0.0048s | Valid HTML 4.01