Complexity Issues in Automated Model Revision without Explicit Legitimate State
Abujarad F, Kulkarni S. Complexity Issues in Automated Model Revision without Explicit Legitimate State. Lecture Notes In Computer Science 2010, 6366: 206-220. DOI: 10.1007/978-3-642-16023-3_18.Peer-Reviewed Original Research