Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella. Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. In Joseph Sifakis, editor, Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Volume 407 of Lecture Notes in Computer Science, pages 374-382, Springer, 1989.

This author has not been identified. Look up 'Ganesh Gopalakrishnan' in GoogleThis author has not been identified. Look up 'Narayana Mani' in GoogleThis author has not been identified. Look up 'Venkatesh Akella' in Google

runs on WebDSL