{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:32Z","timestamp":1725564512052},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/dsd.2007.4341498","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:59Z","timestamp":1191937559000},"page":"396-403","source":"Crossref","is-referenced-by-count":0,"title":["Proving Completeness of Properties in Formal Verification of Counting Heads for Railways"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Kinder","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045073"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1990.114827"},{"journal-title":"Functional Specification for SystemC 2 0","year":"0","key":"ref10"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/DATE.2007.364454","article-title":"Estimating functional coverage in bounded model checking","author":"gro\u00dfe","year":"2007","journal-title":"Design Automation and Test in Europe"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268843"},{"journal-title":"Systém Design with SystemC","year":"2002","author":"gr\u00f6tker","key":"ref5"},{"key":"ref8","article-title":"Multiple-section Axle Counting Sys-tem","author":"siemens","year":"2003","journal-title":"Copyright Siemens AG"},{"key":"ref7","article-title":"Modeling and formal verification of counting heads for railways","author":"kinder","year":"2007","journal-title":"Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2007))"},{"key":"ref2","first-page":"317","article-title":"Symbolic model checking using SAT procedures instead of BDDs","author":"biere","year":"1999","journal-title":"In Design Automation Conf"},{"key":"ref9","article-title":"Transportation Systems, Rail Automation","author":"siemens","year":"0","journal-title":"Safety for the Rail Services"},{"journal-title":"Property Specification Language Version 1 1","year":"2004","key":"ref1"}],"event":{"name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","start":{"date-parts":[[2007,8,29]]},"location":"Lubeck, Germany","end":{"date-parts":[[2007,8,31]]}},"container-title":["10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341432\/4341433\/04341498.pdf?arnumber=4341498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:26:30Z","timestamp":1556889990000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/dsd.2007.4341498","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}