Labled Transition System Transformation
Suitable for Model Checking
©2012
Charles Petrie
- permission to reproduce widely with attribution.
