Search results for: Laurence Pierre
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 87-101
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithm Verification > 418-432
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Electrical Engineering > Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s > Assertion Based Design, Verification & Debug > 213-226