Labelled Transition System Analyser
Help Manual v1.0
Distributed Systems Engineering Group
Department of Computing
180 Queen's Gate
South Kensington Campus
Imperial College London
SW7 2AZ
United Kingdom
Author: Howard Foster
Email: howard.foster@imperial.co.uk