Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. In Yamine Aït Ameur, Ladjel Bellatreche, George A. Papadopoulos, editors, Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings. Volume 8748 of Lecture Notes in Computer Science, pages 1-3, Springer, 2014. [doi]
Abstract is missing.