Computing Publications

Publications Home » Beyond image-finiteness: labelled...

Beyond image-finiteness: labelled transition systems as a Stone space

Michael Huth

Conference or Workshop Paper
19th annual IEEE symposium on logic in computer science, Turku, Finland, 2004
IEEE Annual Symposium on Logic in Computer Science
pp.222–231
July, 2004
IEEE Computer Soc
ISBN 0-7695-2192-4
ISSN 1043-6871
PDF of full publication (158 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

Attached PDF document is preliminary version only.

N.B.
Conditions for downloading publications from this site.
 

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