Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24372-1_6 ◽

2011 ◽

pp. 60-74 ◽

Cited By ~ 1

Author(s):

Miguel Carrillo ◽

David A. Rosenblueth

Download Full-text