Benutzer: Gast  Login
Autor(en):
Kumar, Pratyush; Goswami, Dip; Chakraborty, Samarjit; Annaswamy, Anuradha; Lampka, Kai; Thiele, Lothar 
Titel:
A Hybrid Approach to Cyber-Physical Systems Verification 
Kongress- / Buchtitel:
49th Design Automation Conference (DAC) 
Verlagsort:
San Francisco, USA 
Jahr:
2012