%0 Conference Paper %1 conf/dac/LinL14 %A Lin, Honghuang %A Li, Peng %B DAC %D 2014 %I ACM %K %P 150:1-150:6 %T Parallel Hierarchical Reachability Analysis for Analog Verification. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#LinL14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/LinL14, added-at = {2023-12-14T16:15:30.000+0100}, author = {Lin, Honghuang and Li, Peng}, biburl = {https://www.bibsonomy.org/bibtex/22347cc06764670bba3ac874fd78dbef0/admin}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593178}, interhash = {f58ab39585045293cff89b4929955c88}, intrahash = {2347cc06764670bba3ac874fd78dbef0}, isbn = {978-1-4503-2730-5}, keywords = {}, pages = {150:1-150:6}, publisher = {ACM}, timestamp = {2023-12-14T16:15:30.000+0100}, title = {Parallel Hierarchical Reachability Analysis for Analog Verification.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#LinL14}, year = 2014 }