Representation, Verification, and Computation of Timed Properties in Web.

Raman Kazhamiakin, Paritosh K. Pandya, Marco Pistore

Browse the full ICWS paper archive.