On the equivalence of state-transition systems
- Conference or Workshop Paper
- First Imperial College Department of Computing Workshop on Theory and Formal Methods
- Workshops in Computing
- Springer Verlag
- ISBN 3-540-19842-3
Held ar the Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993.
- PDF of full publication (629 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Conditions for downloading publications from this site.