|
@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} }