Author:
Dong Jin Song,Hao Ping,Sun Jun,Zhang Xian
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;R. Abhik,2001
2. Brooke, P.J.: A Timed Semantics for a Hierarchical Design Notation. PhD thesis, University of York (April 1999)
3. Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State/Event-based Software Model Checking. In: Proceeding of Integrate Formal Methods 2004, pp. 128–147 (2004)
4. Davies, J.: Specification and Proof in Real-Time CSP. Cambridge University Press, Cambridge (1993)
5. Formal Systems (Europe) Ltd. Failure Divergence Refinement: FDR2 User Manual (1997)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献