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

Sarat Chandra Varanasi, Brendan Hall, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Kevin Driscoll, Gopal Gupta

Browse the full ICLP paper archive.