%0 Conference Paper %1 conf/mwscas/FisherBJKLWM14 %A Fisher, Andrew N. %A Batchu, Satish %A Jones, Kevin R. %A Kulkarni, Dhanashree %A Little, Scott %A Walter, David %A Myers, Chris J. %B MWSCAS %D 2014 %I IEEE %K dblp %P 1017-1020 %T LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. %U http://dblp.uni-trier.de/db/conf/mwscas/mwscas2014.html#FisherBJKLWM14 %@ 978-1-4799-4134-6

@inproceedings{conf/mwscas/FisherBJKLWM14, added-at = {2020-06-15T00:00:00.000+0200}, author = {Fisher, Andrew N. and Batchu, Satish and Jones, Kevin R. and Kulkarni, Dhanashree and Little, Scott and Walter, David and Myers, Chris J.}, biburl = {https://www.bibsonomy.org/bibtex/20f48eea24be7b09d60a5c808462a1669/dblp}, booktitle = {MWSCAS}, crossref = {conf/mwscas/2014}, ee = {https://www.wikidata.org/entity/Q59859486}, interhash = {bf190b8f0f3f65b9b483943496685ce4}, intrahash = {0f48eea24be7b09d60a5c808462a1669}, isbn = {978-1-4799-4134-6}, keywords = {dblp}, pages = {1017-1020}, publisher = {IEEE}, timestamp = {2024-04-09T10:43:49.000+0200}, title = {LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.}, url = {http://dblp.uni-trier.de/db/conf/mwscas/mwscas2014.html#FisherBJKLWM14}, year = 2014 }