{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T06:27:01Z","timestamp":1750746421113},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/acc.2006.1657692","type":"proceedings-article","created":{"date-parts":[[2006,8,3]],"date-time":"2006-08-03T00:10:31Z","timestamp":1154563831000},"page":"6 pp.","source":"Crossref","is-referenced-by-count":7,"title":["Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables"],"prefix":"10.1109","author":[{"given":"R.","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","first-page":"50","article-title":"Symbolic transition graph with assignment","author":"lin","year":"1996","journal-title":"Concurrency"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1042038.1042039"},{"key":"5","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","article-title":"The theory of hybrid automata","author":"henzinger","year":"1996","journal-title":"LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00172-F"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384313"}],"event":{"name":"2006 American Control Conference","start":{"date-parts":[[2006,6,14]]},"location":"Minneapolis, MN, USA","end":{"date-parts":[[2006,6,16]]}},"container-title":["2006 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11005\/34689\/01657692.pdf?arnumber=1657692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T08:16:31Z","timestamp":1497687391000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1657692\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/acc.2006.1657692","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}