{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:32:02Z","timestamp":1725460322651},"publisher-location":"Boston, MA","reference-count":9,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081484"},{"type":"electronic","value":"9781402081491"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8149-9_2","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T09:53:33Z","timestamp":1140602013000},"page":"11-20","source":"Crossref","is-referenced-by-count":0,"title":["On Detecting Deadlocks in Large UML Models"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kersten","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"982","author":"J. R. Burch","year":"1992","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. Dill, and L. J. Hwang. Symbolic model checking: 10\n                  20 states and beyond. In Information and Computation, volume (98)2, pages 142\u2013170. IEEE, 1992. also in 5th IEEE LICS 90.","journal-title":"Information and Computation"},{"key":"2_CR2","unstructured":"E. M. Clarke and H. Schlingloff. Model checking. In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, chapter 21, pages 1367\u20131522. Elsevier Science Publishers B.V., 2000."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Alexandre David, M. Oliver M\u00f6ller, and Wang Yi. Verification of UML Statecharts with Real-time Extensions. Technical report, Department of Information Technology, Uppsala University, \n                    http:\/\/www.it.uu.se\/research\n                    \n                  , February2003.","DOI":"10.1007\/3-540-45923-5_15"},{"key":"2_CR4","unstructured":"Michael Kersten, Ramon Biniasch, Wolfgang Nebel, and Frank Oppenheimer. Die Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme. In R. Drechsler et al., editors, GI\/ITG\/GMM Workshop 2003, pages 11\u201320, Bremen, February 2003. Shaker Verlag."},{"key":"2_CR5","unstructured":"Michael Kersten, J\u00f6rg Matthes, Christian Fouda, Stephan Zipser, and Hubert B. Keller. Customizing UML for the Development of Distributed Reative Systems and Ada 95 Code Generation. Ada User Journal, 23(3), 2002."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic model Checking. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"2_CR7","unstructured":"OMG. OMG Unified Modeling Language Specification (version 1.4). Technical report, OMG, \n                    http:\/\/www.omg.org\n                    \n                  , September 2001."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Timm Sch\u00e4fer, Alexander Knapp, and Stephan Merz. Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science, 47, 2001.","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"2_CR9","volume-title":"Deadlocks in Computersystemen","author":"M. Weske","year":"1995","unstructured":"Mathias Weske. Deadlocks in Computersystemen. International Thomson Publishing GmbH, Bonn, Albany [u.a.], first edition, 1995. ISBN 3-929821-11-7.","edition":"first edition"}],"container-title":["IFIP International Federation for Information Processing","Design Methods and Applications for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8149-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T13:42:19Z","timestamp":1558359739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8149-9_2"}},"subtitle":["Based on an Expressive Subset"],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081484","9781402081491"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8149-9_2","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}