{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:28:42Z","timestamp":1725733722851},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,2]]},"DOI":"10.1109\/robio.2009.4913178","type":"proceedings-article","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T18:19:34Z","timestamp":1242065974000},"page":"1242-1248","source":"Crossref","is-referenced-by-count":0,"title":["An identification of system key attributes in structural reasoning for formal validation of industrial programming"],"prefix":"10.1109","author":[{"given":"A.","family":"Lobov","sequence":"first","affiliation":[]},{"given":"J.L.M.","family":"Lastra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Software Verification and Validation for Practitioners and Managers","year":"2001","author":"rakitin","key":"3"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275721"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"7","first-page":"51","article-title":"venn diagrams for many sets","author":"edwards","year":"1989","journal-title":"New Scientist"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/0471687545"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.56021\/9780801874345","author":"edwards","year":"2004","journal-title":"Cogwheels of the mind The story of Venn diagrams"},{"key":"11","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1109\/EFTA.2007.4416835","article-title":"structural reasoning in proving system correctness","author":"lobov","year":"2007","journal-title":"Proc 10th Int IEEE Conf Emerging Technologies and Factory Automation"}],"event":{"name":"2008 IEEE International Conference on Robotics and Biomimetics","start":{"date-parts":[[2009,2,22]]},"location":"Bangkok","end":{"date-parts":[[2009,2,25]]}},"container-title":["2008 IEEE International Conference on Robotics and Biomimetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4850396\/4912969\/04913178.pdf?arnumber=4913178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T07:29:18Z","timestamp":1710314958000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4913178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/robio.2009.4913178","relation":{},"subject":[],"published":{"date-parts":[[2009,2]]}}}