lsts2dot - a translator from TVT LSTS files to the input file language of GraphViz

Marko Mäkelä

lsts2dot - a translator from TVT LSTS files to the input file language of GraphViz

Marko Mäkelä

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2001
MoE publication type	I2 ICT software

Keywords

graph visualization
labelled state transition systems

OpenUrl availability

Full text

Cite this

@misc{8d95cc9dec2646e6b14fdf59d62bf609,

title = "lsts2dot - a translator from TVT LSTS files to the input file language of GraphViz",

keywords = "graph visualization, labelled state transition systems, graph visualization, labelled state transition systems, graph visualization, labelled state transition systems",

author = "Marko M{\"a}kel{\"a}",

year = "2001",

language = "English",

}

TY - ADVS

T1 - lsts2dot - a translator from TVT LSTS files to the input file language of GraphViz

AU - Mäkelä, Marko

PY - 2001

Y1 - 2001

KW - graph visualization

KW - labelled state transition systems

KW - graph visualization

KW - labelled state transition systems

KW - graph visualization

KW - labelled state transition systems

UR - http://www.tcs.hut.fi/Software/maria/tools/tvt/lsts2dot.C

M3 - Software

ER -

lsts2dot - a translator from TVT LSTS files to the input file language of GraphViz

Keywords

OpenUrl availability

Other files and links

Cite this