1. Studies in Computational Intelligence;S Arora,2019
2. Borshchev, A.: Anylogic 7: new release presentation. In: Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, WSC 2013, pp. 4106–4106. IEEE Press, Piscataway (2013).
http://dl.acm.org/citation.cfm?id=2675807.2675980
3. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Herd,2016
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Herd,2015