Search results for: Marco Roveri
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Verification > 313-327
Artificial Intelligence > 2006 > 170 > 4-5 > 337-384
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Verification > 313-327
Artificial Intelligence > 2006 > 170 > 4-5 > 337-384