Vol-1948⫷ Vol-1949 ⫸Vol-1950
urn:nbn:de:0074-1949-0


Vol-1949/ICTCSpaper14⫷Vol-1949/ICTCSpaper15⫸Vol-1949/ICTCSpaper16

On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks