{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T19:40:04Z","timestamp":1751398804411,"version":"3.41.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285628","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T22:54:03Z","timestamp":1518476043000},"page":"1-8","source":"Crossref","is-referenced-by-count":8,"title":["An integrated framework for verifying multiple care pathways"],"prefix":"10.1109","author":[{"given":"J.","family":"Bowles","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. B.","family":"Caminati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Cha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Formal Semantics and Analysis of BPMN Process Models using Petri Nets","year":"2007","author":"dijkman","key":"ref10"},{"key":"ref11","article-title":"Formal Modelling and Performance Analysis of Clinical Pathway","author":"han","year":"2011","journal-title":"Proceedings of the NETTAB 2011 workshop focused on Clinical Bioinformatics (NETTAB11)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2012.6266322"},{"key":"ref13","volume":"12","author":"hillston","year":"2005","journal-title":"A Compositional Approach to Performance Modelling"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_24"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.068"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1386-5056(01)00126-5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38326-7_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1001\/jama.294.6.716"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-13-S14-S4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2016.051"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15898-8_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/BIBM.2014.6999261"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2011.06.002"},{"key":"ref7","article-title":"Modeling Clinical Pathways-Design and Application of a Domain-Specific Modeling Language","author":"burwitz","year":"2013","journal-title":"Wirtschaftsinformatik"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_16"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.3233\/SAT190109","article-title":"The 2014 SMT Competition","volume":"9","author":"cok","year":"2016","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref1","article-title":"vZ-an optimizing SMT solver","author":"bj\u00f8rner","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"Isabelle\/HOL A Proof Assistant for Higher-Order Logic","year":"2002","author":"nipkow","key":"ref20"},{"journal-title":"Polypharmacy Guidance","year":"2015","key":"ref22"},{"key":"ref21","article-title":"Analysis and visualization of network data using JUNG","volume":"10","author":"omadadhain","year":"2005","journal-title":"Journal of Statistical Software"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1101\/gr.1239303"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00423-012-0914-z"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DICTAP.2014.6821684"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537809.003.0001","article-title":"Models for Concurrency","author":"winskel","year":"1995","journal-title":"Handbook of Logic in Computer Science Semantic Modelling"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285628.pdf?arnumber=8285628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T19:04:29Z","timestamp":1751396669000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285628\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285628","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}