Farn Wang. Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 106, IEEE Computer Society, 1996. [doi]
Abstract is missing.