Search results for: P. Traverso
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 410-419
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > SemanticWeb Services > 106-115
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1584-1604
Actas Urologicas Espanolas (English Edition) > 2012 > 36 > 6 > 379-382
Transplantation Proceedings > 2009 > 41 > 10 > 4125-4130
Journal of Chromatography A > 2006 > 1102 > 1-2 > 104-115
Artificial Intelligence > 2003 > 147 > 1-2 > 35-84