{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:43:48Z","timestamp":1730209428114,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/coase.2015.7294182","type":"proceedings-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T17:56:58Z","timestamp":1444327018000},"page":"819-824","source":"Crossref","is-referenced-by-count":1,"title":["Advanced selfloop removal in compositional nonblocking verification of discrete event systems"],"prefix":"10.1109","author":[{"given":"Robi","family":"Malik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.02.025"},{"key":"ref11","first-page":"147","article-title":"Compositional nonblocking verification with always enabled events and selfloop-only events","author":"pilbrow","year":"2013","journal-title":"Proc 2nd Int Workshop on Formal Techniques for Safety-Critical Systems FTSCS2013"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"ref14","volume":"74","author":"nuutila","year":"1995","journal-title":"Efficient Transitive Closure Computation in Large Di-graphs ser Acta Polytechnica Scandinavica Mathematics and Computing in Engineering Series"},{"key":"ref15","first-page":"204","article-title":"Reverse observation equivalence between labelled state transition systems","author":"wen","year":"2004","journal-title":"Proc 1st Int Colloq Theoret Aspects of Comput ICTAC '04"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"ref18","first-page":"376","article-title":"An algorithm for compositional nonblocking verification of extended finite-state machines","author":"mohajerani","year":"2014","journal-title":"Proc 12th Int Workshop Discrete Event Syst WODES?14"},{"key":"ref4","first-page":"186","article-title":"Compositional minimization of finite state systems","volume":"531","author":"graf","year":"1990","journal-title":"Proc 1990 Workshop on Computer-Aided Verification ser LNCS"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/070695526"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61363-3_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410600411X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2248255"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2031730"}],"event":{"name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2015,8,24]]},"location":"Gothenburg, Sweden","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7279855\/7294025\/07294182.pdf?arnumber=7294182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:22:05Z","timestamp":1490379725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7294182\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2015.7294182","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}