Labelled Transition System Analyser
V2.2
Use
File/Examples
menu to select an FSP example to analyse.
Download
Unable to load applet, Requires Java Plugin 1.3