Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin. Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. In Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi, editors, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Volume 7681 of Lecture Notes in Computer Science, pages 164-185, Springer, 2012. [doi]

This author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Peng Liu' in GoogleThis author has not been identified. Look up 'Jifeng He' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in Google

runs on WebDSL