{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T16:22:31Z","timestamp":1714580551287},"reference-count":0,"publisher":"InTech","isbn-type":[{"value":"9789537619183","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.5772\/5835","type":"book-chapter","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T19:28:04Z","timestamp":1332530884000},"source":"Crossref","is-referenced-by-count":0,"title":["The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems"],"prefix":"10.5772","author":[{"given":"Jorge","family":"Santos","sequence":"first","affiliation":[]},{"given":"Zita","family":"Vale","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Serdio","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Ramos","sequence":"additional","affiliation":[]}],"member":"3774","published-online":{"date-parts":[[2008,10,1]]},"container-title":["Robotics Automation and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.intechopen.com\/download\/pdf\/4701","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T06:27:18Z","timestamp":1490941638000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.intechopen.com\/books\/robotics_automation_and_control\/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"ISBN":["9789537619183"],"references-count":0,"URL":"https:\/\/doi.org\/10.5772\/5835","relation":{},"subject":[],"published":{"date-parts":[[2008,10,1]]}}}