Search results for: Daniel Geist
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tutorial > 3-3
Electronic Notes in Theoretical Computer Science > 2006 > 144 > 1 > 67-77
Discrete Applied Mathematics > 2005 > 149 > 1-3 > 154-173
Formal Methods in System Design > 2003 > 22 > 2 > 101-108
Formal Methods in System Design > 2001 > 19 > 1 > 35-44