Beyond image-finiteness: labelled transition systems as a Stone space
- Conference or Workshop Paper
- 19th annual IEEE symposium on logic in computer science, Turku, Finland, 2004
- IEEE Annual Symposium on Logic in Computer Science
- 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.
- Conditions for downloading publications from this site.