Search results for: Marisa Venturini Zilli
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Reachability Analysis > 202-219
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tools > 259-274
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 277-282
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 394-409
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 58-71
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 141-155
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 397-409
International Journal on Software Tools for Technology Transfer > 2004 > 6 > 4 > 320-341
Acta Informatica > 2003 > 39 > 1 > 31-70
Electronic Notes in Theoretical Computer Science > 2002 > 62 > Complete > 195-210
Journal of Symbolic Computation > 1996 > 21 > 3 > 289-292