Author:
Dekhtyar Michael I.,Valiev Mars K.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Pnueli, A.: The temporal logic of programs. In: 18th IEEE Symp. on Foundations of Computer Science, pp. 46–57 (1977)
2. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (2000)
3. Baier, C., Katoen, J.: Principles of model checking. Kluwer Academic Publishers (2002)
4. Lecture Notes in Artificial Intelligence;M. Benerecetti,2001
5. Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: Proc. of the First Intern. Conf. on Autonomous Agents and Multiagent Systems, pp. 952–959 (2002)