Publisher
Springer International Publishing
Reference32 articles.
1. The game of tic-tac-toe. http://f2.org/maths/ttt.html
2. Avrunin, G., Corbett, J., Dwyer, M., Pasareanu, C., Siegel, S.: Benchmarking finite-state verifiers. Int. J. Softw. Tools Technol. Transf. 2(4), 317–320 (2000)
3. LNCS;J. Barnet,2009
4. Bloom, B.: Spacetime trade-offs in hash coding with allowable errors. Commun. ACM 13(7), 422–426 (1970)
5. Bosnacki, D.: Enhancing state space reduction techniques for model checking. Ph.D. thesis, Eindhoven University of Technology (2001)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献