Multiclock Esterel

Gérard Berry, Ellen Sentovich. Multiclock Esterel. In Tiziana Margaria, Thomas F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings. Volume 2144 of Lecture Notes in Computer Science, pages 110-125, Springer, 2001. [doi]

Authors

Gérard Berry

This author has not been identified. Look up 'Gérard Berry' in Google

Ellen Sentovich

This author has not been identified. Look up 'Ellen Sentovich' in Google