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