Natalia Ioustinova, Natalia Sidorova, Martin Steffen. Synchronous Closing and Flow Analysis for Model Checking Timed Systems. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Volume 3188 of Lecture Notes in Computer Science, pages 292-313, Springer, 2003. [doi]
Abstract is missing.