{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:29Z","timestamp":1750307909375,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1228784.1228899","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"485-488","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Three-valued automated reasoning on analog properties"],"prefix":"10.1145","author":[{"given":"Raffaella","family":"Gentilini","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, UNK, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, UNK, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Dreyer","sequence":"additional","affiliation":[{"name":"Fraunhofer Inst. for Industrial Mathematics, Kaiserslautern, UNK, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"LNCS Proc. of the 13th Conference on Computer Aided Verification","author":"Bruns G.","year":"2001","unstructured":"G. Bruns LNCS Proc. of the 13th Conference on Computer Aided Verification , 2001 . G. Bruns et al, \"Model Checking Partial State Spaces with Three Valued Temporal Logics,\" LNCS Proc. of the 13th Conference on Computer Aided Verification, 2001."},{"key":"e_1_3_2_1_2_1","volume-title":"Model Checking,\" MIT Press","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , \" Model Checking,\" MIT Press , 1999 . E. Clarke et al, \"Model Checking,\" MIT Press, 1999."},{"key":"e_1_3_2_1_3_1","volume-title":"Design and synthesis of synchronization skeletons using brancing time temporal logic,\" LNCS Proc. of Workshop on Logic of Programs","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , \" Design and synthesis of synchronization skeletons using brancing time temporal logic,\" LNCS Proc. of Workshop on Logic of Programs , 1999 . E. Clarke et al, \"Design and synthesis of synchronization skeletons using brancing time temporal logic,\" LNCS Proc. of Workshop on Logic of Programs, 1999."},{"key":"e_1_3_2_1_4_1","volume-title":"Analysis and Design of Analog Integrated Circuits,\" John Wiley &amp","author":"Gray P.","year":"1993","unstructured":"P. Gray , \" Analysis and Design of Analog Integrated Circuits,\" John Wiley &amp ; Sons Inc ., 1993 . P. Gray et al, \"Analysis and Design of Analog Integrated Circuits,\" John Wiley & Sons Inc., 1993."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514055"},{"key":"e_1_3_2_1_6_1","unstructured":"E. Hennig \"Symbolic Approximation and Modeling Techniques for Analysis and Design of Analog Circuits \" Shaker Verlag 2000.  E. Hennig \"Symbolic Approximation and Modeling Techniques for Analysis and Design of Analog Circuits \" Shaker Verlag 2000."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis,\" Springer Verlag","author":"Jaulin L.","year":"2001","unstructured":"L. Jaulin , \" Applied Interval Analysis,\" Springer Verlag , 2001 . L. Jaulin et al, \"Applied Interval Analysis,\" Springer Verlag, 2001."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"K. Schneider \"Verification of Reactive Systems \" Springer Verlag 2004.   K. Schneider \"Verification of Reactive Systems \" Springer Verlag 2004.","DOI":"10.1007\/978-3-662-10778-2"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the 5th Int. Workshop on on Symbolic Methods and Applications to Circuit Design (SMCAD'98)","author":"Sommer R.","year":"1998","unstructured":"R. Sommer A Generic Circuit Modelling Strategy Combining Symbolic and Numerical Analisys,\" Proc. of the 5th Int. Workshop on on Symbolic Methods and Applications to Circuit Design (SMCAD'98) , 1998 . R. Sommer et al, \"A Generic Circuit Modelling Strategy Combining Symbolic and Numerical Analisys,\" Proc. of the 5th Int. Workshop on on Symbolic Methods and Applications to Circuit Design (SMCAD'98), 1998."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 6th Int. Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000)","author":"Sommer R.","year":"2000","unstructured":"R. Sommer Proc. 6th Int. Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000) , 2000 . R. Sommer et al, \"Analog Insydes 2 - New Features and Applications in Circuit Design,\" Proc. 6th Int. Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000), 2000."}],"event":{"name":"GLSVLSI07: Great Lakes Symposium on VLSI 2007","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"Stresa-Lago Maggiore Italy","acronym":"GLSVLSI07"},"container-title":["Proceedings of the 17th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228899","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1228784.1228899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:47Z","timestamp":1750258067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1228784.1228899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":11,"alternative-id":["10.1145\/1228784.1228899","10.1145\/1228784"],"URL":"https:\/\/doi.org\/10.1145\/1228784.1228899","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}