Search results for: R. Sebastiani
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 243-259
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 410-419
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1584-1604
American Journal of Transplantation > 16 > 4 > 1319 - 1322
Journal of Heart and Lung Transplantation > 2013 > 32 > 4 Supplement > S211-S212
Journal of Heart and Lung Transplantation > 2013 > 32 > 4 Supplement > S135
Formal Methods in Computer Aided Design > 121 - 128
Transplantation Proceedings > 2008 > 40 > 6 > 1996-1998
Transplantation Proceedings > 2007 > 39 > 6 > 1967-1969