Vol-2969⫷ Vol-2970 ⫸Vol-2971
urn:nbn:de:0074-2970-0


Vol-2970/gdepaper1⫷Vol-2970/gdepaper2⫸Vol-2970/gdepaper3
Sarat Chandra VaranasiBrendan HallElmer SalazarFang Li 0010Kinjal Basu 0002Kevin Driscoll 0001Gopal Gupta 0001Joaquín Arias

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)