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]
@inproceedings{AbujaradK10,
title = {Complexity Issues in Automated Model Revision without Explicit Legitimate State},
author = {Fuad Abujarad and Sandeep S. Kulkarni},
year = {2010},
doi = {10.1007/978-3-642-16023-3_18},
url = {http://dx.doi.org/10.1007/978-3-642-16023-3_18},
researchr = {https://researchr.org/publication/AbujaradK10},
cites = {0},
citedby = {0},
pages = {206-220},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings},
editor = {Shlomi Dolev and Jorge Arturo Cobb and Michael J. Fischer and Moti Yung},
volume = {6366},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16022-6},
}