Skip to content

Timed and Probabilistic I/O Automata.

Nancy A. Lynch

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.