Computing Publications

Publications Home » On the equivalence of state-trans...

On the equivalence of state-transition systems

Michael Huth

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. built & maintained by Ashok Argent-Katwala.