Skip to content

Consistency in Parametric Interval Probabilistic Timed Automata.

tienne Andr, Benot Delahaye

VenueCTIME
Year2016
ProceedingsTIME

Browse the full TIME paper archive.