{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:09:01Z","timestamp":1742400541730},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_11","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T12:40:01Z","timestamp":1182861601000},"page":"165-180","source":"Crossref","is-referenced-by-count":18,"title":["Verified Design of an Automated Parking Garage"],"prefix":"10.1007","author":[{"given":"Aad","family":"Mathijssen","sequence":"first","affiliation":[]},{"given":"A. Johannes","family":"Pretorius","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"32","volume":"7","author":"E. Verdult","year":"2005","unstructured":"Verdult, E.: In de prak geparkeerd. De Ingenieur\u00a07, 32\u201335 (2005)","journal-title":"De Ingenieur"},{"key":"11_CR2","unstructured":"Groote, J.F., Mathijssen, A., Van Weerdenburg, M., Usenko, Y.S.: From \u03bcCRL to mCRL2: motivation and outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3, pp. 126\u2013131 (2005)"},{"key":"11_CR3","unstructured":"Groote, J.F., Mathijssen, A., Ploeger, B., Reniers, M., Van Weerdenburg, M., Van der Wulp, J.: Process algebra and mCRL2, IPA basic course on formal methods 2006 (2006), \n                    \n                      www.mcrl2.org"},{"key":"11_CR4","unstructured":"mCRL2: mCRL2 homepage (2006), \n                    \n                      http:\/\/www.mcrl2.org"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Ponse, A.: The syntax and semantics of \u03bcCRL. In: Algebra of Communicating Processes, Workshops in Computing, pp. 26\u201362 (1994)","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.1016\/B978-044482830-9\/50035-7","volume-title":"Handbook of Process Algebra","author":"J.F. Groote","year":"2001","unstructured":"Groote, J.F., Reniers, M.: Algebraic process verification. In: Handbook of Process Algebra, pp. 1151\u20131208. Elsevier, Amsterdam (2001)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-540-27815-3_15","volume-title":"Algebraic Methodology and Software Technology","author":"W. Fokkink","year":"2004","unstructured":"Fokkink, W., Groote, J.F., Pang, J., Badban, B., Van de Pol, J.: Verifying a sliding window protocol in \u03bcCRL. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 148\u2013163. Springer, Heidelberg (2004)"},{"issue":"1\u20132","key":"11_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S1567-8326(02)00038-3","volume":"55","author":"J.F. Groote","year":"2003","unstructured":"Groote, J.F., Pang, J., Wouters, A.G.: Analysis of a distributed system for lifting trucks. J. Logic and Algebraic Programming\u00a055(1\u20132), 21\u201356 (2003)","journal-title":"J. Logic and Algebraic Programming"},{"key":"11_CR9","volume-title":"Proc. International Parallel and Distributed Processing Symposium (IPDPS\u201903)","author":"J. Pang","year":"2003","unstructured":"Pang, J., Fokkink, W., Hofman, R., Veldema, R.: Model checking a cache coherence protocol for a Java DSM implementation. In: Proc. International Parallel and Distributed Processing Symposium (IPDPS\u201903), IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"11_CR10","unstructured":"Mathijssen, A., Pretorius, A.J.: Specification, analysis, and verification of an automated parking garage. Technical Report 05-25, Technische Universiteit Eindhoven (2005)"},{"key":"11_CR11","first-page":"323","volume-title":"Proc. 9th Int\u2019l Conf. Information Visualization (IV05)","author":"A.J. Pretorius","year":"2005","unstructured":"Pretorius, A.J., Van Wijk, J.J.: Multidimensional visualization of transition systems. In: Proc. 9th Int\u2019l Conf. Information Visualization (IV05), pp. 323\u2013328. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"4","key":"11_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1109\/TVCG.2002.1044518","volume":"8","author":"F. Ham Van","year":"2002","unstructured":"Van Ham, F., Van de Wetering, H., Van Wijk, J.J.: Interactive visualization of state transition systems. IEEE Transactions on Visualization and Computer Graphics\u00a08(4), 319\u2013329 (2002)","journal-title":"IEEE Transactions on Visualization and Computer Graphics"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:59:58Z","timestamp":1558274398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}