Publisher
Springer International Publishing
Reference3 articles.
1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
https://doi.org/10.1016/0304-3975(94)90010-8
.
2. Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press. ISBN: 978-0-262-03270-4.
3. Holzmann, G. J. (1995). Tutorial: Proving properties of concurrent systems with SPIN. In 6th International Conference on Concurrency Theory, CONCUR’95, Philadelphia, PA (pp. 453–455), 21–24 August, 1995. Berlin, Heidelberg: Springer.
https://doi.org/10.1007/3-540-60218-6_34
.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献