%0 Conference Paper %1 conf/isocc/KimPK21 %A Kim, Seyoung %A Park, Heechun %A Kim, Jaeha %B ISOCC %D 2021 %I IEEE %K dblp %P 203-206 %T Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis. %U http://dblp.uni-trier.de/db/conf/isocc/isocc2021.html#KimPK21 %@ 978-1-6654-0174-6

@inproceedings{conf/isocc/KimPK21, added-at = {2021-12-06T00:00:00.000+0100}, author = {Kim, Seyoung and Park, Heechun and Kim, Jaeha}, biburl = {https://www.bibsonomy.org/bibtex/25cb001f245bea45684d042093e65bdf6/dblp}, booktitle = {ISOCC}, crossref = {conf/isocc/2021}, ee = {https://doi.org/10.1109/ISOCC53507.2021.9614029}, interhash = {619b5043395f6c3183f2b7c311a30259}, intrahash = {5cb001f245bea45684d042093e65bdf6}, isbn = {978-1-6654-0174-6}, keywords = {dblp}, pages = {203-206}, publisher = {IEEE}, timestamp = {2024-04-09T23:34:13.000+0200}, title = {Safety Verification of AMS Circuits with Piecewise-Linear System Reachability Analysis.}, url = {http://dblp.uni-trier.de/db/conf/isocc/isocc2021.html#KimPK21}, year = 2021 }