Verifying Linear Real-Time Logic Specifications.

Stefan Andrei, Albert M. K. Cheng

Browse the full RTSS paper archive.