Publisher
Springer International Publishing
Reference10 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. Behrmann, G., David, A., & Larsen, K. G. (2006). A Tutorial on Uppaal 4.0. Aalborg, Denmark. url:
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
.
3. Cimatti, A., Clarke, E., … Roveri, M. (2000). NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2(4), 410–425.
https://doi.org/10.1007/s100090050046
.
4. Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge, MA: MIT Press. ISBN: 0-262-03270-8.
5. Hoare, C. A. R. (1978). Communicating sequential processes. Communications of the ACM, 21(8), 666–677.
https://doi.org/10.1145/359576.359585
.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献