Skip to content

Liveness of Parameterized Timed Networks.

Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni

VenueA*ICALP
Year2015
ProceedingsICALP (2)

Browse the full ICALP paper archive.