Alva L. Couch, Marc Chiarini. Dynamic Consistency Analysis for Convergent Operators. In David Hausheer, Jürgen Schönwälder, editors, Resilient Networks and Services, Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1-3, 2008, Proceedings. Volume 5127 of Lecture Notes in Computer Science, pages 148-161, Springer, 2008. [doi]
Abstract is missing.