{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:41:14Z","timestamp":1730209274052,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/coase.2012.6386358","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T04:15:40Z","timestamp":1357186540000},"page":"8-13","source":"Crossref","is-referenced-by-count":3,"title":["On the formal verification of routing in material handling systems"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Klotz","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, Dresden 01069, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Sessler","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, Dresden 01069, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Straube","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, Dresden 01069, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva","family":"Fordran","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Zeunerstr. 38, Dresden 01069, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Turek","sequence":"additional","affiliation":[{"name":"Logistics Engineering, Institute of Material Handling and Industrial Engineering, Technische Universit\u00e4t Dresden, 01187, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Schonherr","sequence":"additional","affiliation":[{"name":"Dresden University of Applied Sciences, 01069, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","journal-title":"Nusmv-tools","key":"15"},{"key":"13","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","article-title":"Learning assumptions for compositional verification","volume":"2619","author":"cobleigh","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"14","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"Nusmv 2: An open-source tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc 14th Int Conf Computer Aided Verif Ication"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"12","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-54430-5_93","article-title":"Model checking and modular verification","volume":"527","author":"grumberg","year":"1991","journal-title":"CONCUR '91"},{"key":"3","article-title":"Model checking in multia-gentengesteuerten materialflusssystemen","volume":"817","author":"du?dder","year":"2008","journal-title":"Technical University Dortmund Tech Rep"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/ICSSSM.2006.320526"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"1"},{"year":"1979","author":"hopcroft","journal-title":"Introduction to Automata Theory Languages and Computation","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/GLOCOM.2007.137"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/MELCON.2004.1348275"},{"key":"5","first-page":"355","article-title":"Model checking: A formal method for safety assurance of logistic systems","author":"meolic","year":"2000","journal-title":"Proc 2nd Congress Transport - Traffic - Logistics"},{"year":"2002","author":"hirsch","journal-title":"Model-Checking Eines Materialflusssystems Mittels UPPAAL und SMV","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/ETFA.2011.6059043"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/INDIN.2011.6034876"}],"event":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE 2012)","start":{"date-parts":[[2012,8,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,8,24]]}},"container-title":["2012 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6375512\/6386304\/06386358.pdf?arnumber=6386358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T00:16:27Z","timestamp":1623197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6386358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2012.6386358","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}