Skip to content

A Machine-Independent Characterization of Timed Languages.

Mikolaj Bojanczyk, Slawomir Lasota

VenueA*ICALP
Year2012
ProceedingsICALP (2)

Browse the full ICALP paper archive.