Skip to content

Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.

Michael Huth

VenueA*LICS
Year2004
ProceedingsLICS

Browse the full LICS paper archive.