Search results for: Ilan Beer
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 363-367
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 1 > 141-149
Formal Methods in System Design > 2012 > 40 > 1 > 20-40
Arthritis & Rheumatology > 62 > 2 > 420 - 429
Immunogenetics > 2003 > 55 > 3 > 172-176
Formal Methods in System Design > 2001 > 18 > 2 > 141-163
Formal Methods in System Design > 2001 > 19 > 1 > 35-44