{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:56:58Z","timestamp":1742399818627,"version":"3.38.0"},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Visual. Comput. Graphics"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1109\/tvcg.2002.1044518","type":"journal-article","created":{"date-parts":[[2003,1,3]],"date-time":"2003-01-03T17:55:00Z","timestamp":1041616500000},"page":"319-329","source":"Crossref","is-referenced-by-count":29,"title":["Interactive visualization of state transition systems"],"prefix":"10.1109","volume":"8","author":[{"given":"F.","family":"van Ham","sequence":"first","affiliation":[]},{"given":"H.","family":"van de Wetering","sequence":"additional","affiliation":[]},{"given":"J.J.","family":"van Wijk","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"volume-title":"Finite Transition Systems.","year":"1994","author":"Arnold","key":"ref1"},{"volume-title":"Graph Drawing: Algorithms for the Visualization of Graphs.","year":"1999","author":"di Battista","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/INFVIS.1995.528689"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/3-540-62495-3_41"},{"author":"Groote","article-title":"A Balancing Act: Analyzing a Distributed Lift System","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/INFVIS.2001.963281"},{"year":"1996","article-title":"IEEE Standard for a High Performance Serial Bus","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/INFVIS.1995.528691"},{"volume-title":"Algorithms for Clustering Data.","year":"1988","author":"Jain","key":"ref9"},{"year":"1997","author":"Luttik","article-title":"Description and Formal Specification of the Link Layer of P1394","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/217306.217311"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/108844.108883"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TSMC.1981.4308636"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1112\/plms\/s3-13.1.743"},{"key":"ref15","first-page":"215","article-title":"Layout for Visualizing Large Software Structures in 3D","volume-title":"Proc. VISUAL \u201997","author":"Ware"}],"container-title":["IEEE Transactions on Visualization and Computer Graphics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/2945\/22389\/01044518.pdf?arnumber=1044518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:35:19Z","timestamp":1742016919000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1044518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,10]]}},"URL":"https:\/\/doi.org\/10.1109\/tvcg.2002.1044518","relation":{},"ISSN":["1077-2626"],"issn-type":[{"type":"print","value":"1077-2626"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}