Model-Checking Temporal Properties of Real-Time HTL Programs.

Andr Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simo Melo de Sousa

Browse the full ISoLA paper archive.