Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.
Journal
Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea
Pages
106
Date Issued
1996
Author(s)
Type
conference paper