Verifying RealTime Properties of tccp Programs (2006)

by M Alpuente, M Gallardo, E Pimentel, A Villanueva
Venue:Journal of Universal Computer Science