Proving a Network of Real-Time Processes Correct.

Amy E. Zwarico, Insup Lee

Browse the full RTSS paper archive.