Author:
Alba Enrique,Chicano Francisco
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
2. Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 1–17 (1997)
3. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)
4. Dorigo, M., Stützle, T.: Ant Colony Optimization. The MIT Press, Cambridge (2004)
5. Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys 35(3), 268–308 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献