Large state space visualization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 585-590

  Groote, Jan Friso ^a   Van Ham, Frank ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

CLUSTERING METHODS; CONVENTIONAL METHODS; GLOBAL STRUCTURE; REAL-WORLD;

VISUALIZATION;

EID: 35248852442     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_42     Document Type: Article

References (8)

1. J. Baeten and P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science, Vol. 18. Cambridge Univ. Press, Cambridge, 1991.
2. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser and J.C. van de Pol. μCRL: A Toolset for Analysing Algebraic Specifications. CAV '01, pp. 250-254, LNCS 2102, 2001.
3. 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.
4. J.F. Groote and F. van Ham. State Space Visualization. Technical Report #0214, Dept. of Mathematics and Computer Science, Technische Univ. Eindhoven, 2002.
5. F. van Ham, H. van de Wetering and J.J. van Wijk. Visualization of State Transition Graphs, Proc. IEEE Conf. on Information Visualization '01, pp 59-66, 2001.
6. ∼fvham/fsm/.
7. 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.
8. G.G. Robertson, J.D. Mackinlay and S.K. Card. Cone Trees: Animated 3D Visualizations of Hierarchical Information. CHI '91 Conf. Proc., pp 189-194, 1991.