Author:
Ramdani Mohamed,Kahloul Laid,Khalgui Mohamed,Hafidi Yousra
Publisher
Springer International Publishing
Reference19 articles.
1. Baier, C., Katoen, J.P., Larsen, K.G.: Principles of Model Checking. MIT Press (2008)
2. Lecture Notes in Computer Science;G Behrmann,2004
3. Bouyer, P.: Model-checking timed temporal logics. Electron. Notes Theor. Comput. Sci. 231, 323–341 (2009)
4. Carrillo, M., Rosenblueth, D.A.: CTL update of Kripke models through protections. Artif. Intell. 211, 51–74 (2014)
5. Ding, Y., Zhang, Y.: System modification case studies. In: 2007 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, vol. 2, pp. 355–360. IEEE (2007)