Complexity Issues in Automated Model Revision without Explicit Legitimate State.

Fuad Abujarad, Sandeep S. Kulkarni

Browse the full SSS paper archive.