{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:36Z","timestamp":1725550836069},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008989"},{"type":"electronic","value":"9783540365778"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36577-x_42","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:04Z","timestamp":1269882724000},"page":"585-590","source":"Crossref","is-referenced-by-count":7,"title":["Large State Space Visualization"],"prefix":"10.1007","author":[{"given":"Jan Friso","family":"Groote","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"van Ham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"42_CR1","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"J. Baeten","year":"1991","unstructured":"J. Baeten and P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science, Vol. 18. Cambridge Univ. Press, Cambridge, 1991."},{"key":"42_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"CAV\u2019 01","author":"S.C.C. Blom","year":"2001","unstructured":"S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser and J.C. van de Pol. \u03bcCRL: A Toolset for Analysing Algebraic Specifications. CAV\u2019 01, pp. 250\u2013254, LNCS 2102, 2001."},{"key":"42_CR3","unstructured":"J.F. Groote, J. Pang and A.G. Wouters. A Balancing Act: Analysing a Distributed Lift System. Technical Report, Dept. of Software Eng., CWI, Amsterdam."},{"key":"42_CR4","unstructured":"J.F. Groote and F. van Ham. State Space Visualization. Technical Report #0214, Dept. of Mathematics and Computer Science, Technische Univ. Eindhoven, 2002."},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"F. van Ham, H. van deWetering and J.J. van Wijk. Visualization of State Transition Graphs, Proc. IEEE Conf. on Information Visualization\u2019 01, pp 59\u201366, 2001.","DOI":"10.1109\/INFVIS.2001.963281"},{"key":"42_CR6","unstructured":"F. van Ham. Interactive Visualization of State Transition Systems. Project website at \n                    \n                      http:\/\/www.win.tue.nl\/~fvham\/fsm\/\n                    \n                    \n                  ."},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"S. Mauw and G.J. Veltink (eds). Algebraic Specifications of Communication Protocols. Cambridge Tracts in Theoretical Computer Science, Vol. 36. Cambridge Univ. Press, Cambridge, 1993.","DOI":"10.1017\/CBO9780511721625"},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"G.G. Robertson, J.D. Mackinlay and S.K. Card. Cone Trees: Animated 3D Visualizations of Hierarchical Information. CHI\u2019 91 Conf. Proc., pp 189\u2013194, 1991.","DOI":"10.1145\/108844.108883"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36577-X_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T09:00:33Z","timestamp":1550998833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36577-X_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008989","9783540365778"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-36577-x_42","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}