Hidden time model for specification and verification of embedded systems.

Partha S. Roop, Arcot Sowmya

Browse the full ECRTS paper archive.