Author:
Markey Nicolas,Schnoebelen Philippe
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen. Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
2. Bouyer, P.: Forward analysis of updatable timed automata. Formal Methods in System Design 24(3), 281–320 (2004)
3. Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Inf. & Comp. 98(2), 142–170 (1992)
4. Campos, S.: Verus 0.9 – Reference Manual. Pittsburgh, PA, USA (March 1997)
5. AMAST Series in Computing;S. Campos,1995
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献