{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:57:50Z","timestamp":1729641470648,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/wcins.2010.5541805","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T11:51:40Z","timestamp":1281441100000},"page":"386-390","source":"Crossref","is-referenced-by-count":0,"title":["A method for topology conformance tests under logical constraints"],"prefix":"10.1109","author":[{"family":"Jianwu Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Guoai Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yixian Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shize Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.1991.147962"},{"key":"ref3","first-page":"46","article-title":"Dianli Xitong Zidonghua\/Automation of Electric Power Systems","volume":"30","author":"yan'an","year":"2006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"volume":"2 3 1","article-title":"Software Ported to Windows","year":"2002","key":"ref10"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1668","DOI":"10.1007\/s12206-008-0428-3","article-title":"Topology optimization of compressor bracket","volume":"22","author":"jeong woo","year":"2008","journal-title":"Journal of Mechanical Science and Technology"},{"journal-title":"Matrix TCL Lite","year":"2010","key":"ref11"},{"article-title":"An introduction to binary decision diagrams","year":"1997","author":"andersen","key":"ref8"},{"key":"ref7","first-page":"525","article-title":"BDD minimization by linear transformations","author":"gunther","year":"1998","journal-title":"Advaneed ComPuter Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2003.1245332"},{"key":"ref1","first-page":"964","article-title":"CC-SEMS: A CC based information system security evaluation management system","author":"young-whan","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"}],"event":{"name":"2010 IEEE International Conference on Wireless Communications, Networking and Information Security (WCNIS)","start":{"date-parts":[[2010,6,25]]},"location":"Beijing, China","end":{"date-parts":[[2010,6,27]]}},"container-title":["2010 IEEE International Conference on Wireless Communications, Networking and Information Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5524730\/5541718\/05541805.pdf?arnumber=5541805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T08:22:38Z","timestamp":1497860558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5541805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/wcins.2010.5541805","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}