Author:
Lam William K. C.,Brayton Robert K.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of timed transition systems. International Conference on Computer-Aided Verification, 1992.
2. R. Alur, A. Itai, R. Kurshan, and M. Yannakakis. Timing verification by successive approximation. International Conference on Computer-Aided Verification, 1992.
3. Rajeev Alur and David Dill. Automata for modeling real-time systems. 1990 ACM International Workshop on Timing Issues In the Specification and Synthesis of Digital Systems, 1990.
4. Felice Balarin and Alberto Sangiovanni-Vincentelli. A verification strategy for timing constrainted systems. International Conference on Computer-Aided Verification, 1992.
5. E. Clarke, O. Grumberg, and R. Kurshan. A synthesis of two approaches for verifying finite state concurrent systems. Workshop on Automatic Verification Methods for Finite State Systems, 1989.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献