Synchronous Closing and Flow Analysis for Model Checking Timed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Natalia Ioustinova' in GoogleThis author has not been identified. It may be one of the following persons:

Natalia Sidorova

Look up 'Natalia Sidorova' in GoogleThis author has not been identified. Look up 'Martin Steffen' in Google

runs on WebDSL