A Graph-Based Method for Timing Diagrams Representation and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Viktor Cingel. A Graph-Based Method for Timing Diagrams Representation and Verification. In George J. Milne, Laurence Pierre, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings. Volume 683 of Lecture Notes in Computer Science, pages 1-14, Springer, 1993.

This author has not been identified. Look up 'Viktor Cingel' in Google

runs on WebDSL