Symbolic Simulation of Real-Time Concurrent Systems.

Farn Wang, Geng-Dian Huang, Fang Yu

Browse the full RTCSA paper archive.