CTL update of Kripke models through protections
Carrillo, Miguel, Rosenblueth, David A.Volume:
211
Language:
english
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2014.02.005
Date:
June, 2014
File:
PDF, 657 KB
english, 2014