![](/img/cover-not-exists.png)
Symbolic model checking for event-driven real-time systems
Yang, Jin, Mok, Aloysius K., Wang, FarnVolume:
19
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/244795.244803
Date:
March, 1997
File:
PDF, 549 KB
english, 1997