{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:08:40Z","timestamp":1729660120106,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/ccece.2012.6334956","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T16:33:06Z","timestamp":1351096386000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Model checking based service delivery planning"],"prefix":"10.1109","author":[{"given":"Andrei","family":"Soeanu","sequence":"first","affiliation":[]},{"given":"S.","family":"Ray","sequence":"additional","affiliation":[]},{"given":"M.","family":"Debbabi","sequence":"additional","affiliation":[]},{"given":"J.","family":"Berger","sequence":"additional","affiliation":[]},{"given":"A.","family":"Boukhtouta","sequence":"additional","affiliation":[]},{"given":"A.","family":"Ghanmi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The SMV System","year":"1992","author":"mcmillan","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"13","article-title":"Enforcing compliance on business processes through the use of patterns","author":"tu?retken","year":"2011","journal-title":"ECIS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"11","article-title":"Using uppaal for the secure and optimal control of agv fleets","author":"arnaud","year":"0","journal-title":"7th Workshop on Advanced Control and Diagnosis ACD Poland 2009"},{"key":"12","first-page":"200","author":"behrmann","year":"2004","journal-title":"A Tutorial on Uppaal"},{"key":"3","first-page":"1","article-title":"The birth of model checking","author":"clarke","year":"2008","journal-title":"25 Years of Model Checking"},{"key":"2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.2307\/2686701","article-title":"How to define an irregular graph","volume":"19","author":"chartrand","year":"1998","journal-title":"The College Mathematics Journal"},{"journal-title":"An Overview of Vehicle Routing Problem","year":"2001","author":"toth","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6838"},{"key":"7","article-title":"Simple bounded ltl model checking","author":"latvala","year":"2004","journal-title":"FMCAD"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000004785.67232.f8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_21"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586787"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.829807"}],"event":{"name":"2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)","start":{"date-parts":[[2012,4,29]]},"location":"Montreal, QC","end":{"date-parts":[[2012,5,2]]}},"container-title":["2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6329166\/6334811\/06334956.pdf?arnumber=6334956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:50:35Z","timestamp":1497995435000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6334956\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ccece.2012.6334956","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}