Fuad Abujarad, Sandeep S. Kulkarni. Complexity Issues in Automated Model Revision without Explicit Legitimate State. In Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung, editors, Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Volume 6366 of Lecture Notes in Computer Science, pages 206-220, Springer, 2010. [doi]
Abstract is missing.