%0 Conference Paper %1 conf/dac/AadithyaR12 %A Karthik, Aadithya V. %A Roychowdhury, Jaijeet S. %B DAC %D 2012 %E Groeneveld, Patrick %E Sciuto, Donatella %E Hassoun, Soha %I ACM %K dblp %P 311-316 %T DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics. %U http://dblp.uni-trier.de/db/conf/dac/dac2012.html#AadithyaR12 %@ 978-1-4503-1199-1

@inproceedings{conf/dac/AadithyaR12, added-at = {2017-06-01T00:00:00.000+0200}, author = {Karthik, Aadithya V. and Roychowdhury, Jaijeet S.}, biburl = {https://www.bibsonomy.org/bibtex/2f4d06a6fe5cbef60cd5fb897163d82bd/dblp}, booktitle = {DAC}, crossref = {conf/dac/2012}, editor = {Groeneveld, Patrick and Sciuto, Donatella and Hassoun, Soha}, ee = {http://doi.acm.org/10.1145/2228360.2228418}, interhash = {96a171b57599cab9851d37bbbed939ef}, intrahash = {f4d06a6fe5cbef60cd5fb897163d82bd}, isbn = {978-1-4503-1199-1}, keywords = {dblp}, pages = {311-316}, publisher = {ACM}, timestamp = {2017-06-02T11:58:17.000+0200}, title = {DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2012.html#AadithyaR12}, year = 2012 }