Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

Sarat Chandra Varanasi, Joaqun Arias, Elmer Salazar, Fang Li, Kinjal Basu, Gopal Gupta

Browse the full PADL paper archive.