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
pp.171–182
1993
Springer Verlag
ISBN 3-540-19842-3
Notes

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
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.