Automatic layout of statecharts

DOI10.1002/spe.418zbMath0985.68707OpenAlexW2139144486MaRDI QIDQ2783199

Rodolfo Castelló, R. Mili, Ioannis. G. Tollis

Publication date: 2 June 2002

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.418

zbMATH Keywords

system specification

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Algorithms for drawing graphs: An annotated bibliography
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic layout of statecharts