{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:29:20Z","timestamp":1725773360353},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/codit.2016.7593580","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T17:03:46Z","timestamp":1476983026000},"page":"313-319","source":"Crossref","is-referenced-by-count":4,"title":["An approach to analyzing adaptive intelligent vehicle system using SMT solver"],"prefix":"10.1109","author":[{"given":"Yujian","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Md Hossain","family":"Shuvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-46464-8_13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/288408.288426"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/002075497194606"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1201\/9781439808856"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820579"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s001700200014"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"article-title":"Kommunikation mit automaten","year":"1962","author":"petri","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.041"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"ref2","article-title":"Quantifier inference rules for SMT proofs","author":"deharbe","year":"2011","journal-title":"Workshop on Proof eXchange for Theorem Proving"},{"year":"2013","key":"ref1","article-title":"Depiction of Priority Light-Vehicle Pre-Crash Scenarios for Safety Applications Based on Vehicle-to-Vehicle Communications"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239105"},{"key":"ref20","article-title":"Quantifier inference rules for SMT proofs","author":"deharbe","year":"2011","journal-title":"Workshop on Proof eXchange for Theorem Proving"},{"key":"ref22","first-page":"194","article-title":"vZ - An Optimizing SMT Solver","author":"bj\u00f9mer","year":"0","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science"},{"article-title":"The SMT-LIB standard: Version 2.0","year":"2012","author":"barrett","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_58"}],"event":{"name":"2016 International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2016,4,6]]},"location":"Saint Julian's, Malta","end":{"date-parts":[[2016,4,8]]}},"container-title":["2016 International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7587666\/7593519\/07593580.pdf?arnumber=7593580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T09:42:38Z","timestamp":1479289358000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7593580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/codit.2016.7593580","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}