Search results for: Giuseppe Penna
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Reachability Analysis > 202-219
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tools > 259-274
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Integrations and Extensions > 356-371
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Machine Learning > 230-241
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 > On the Move to Meaningful Internet Systems: OTM 2008 > Evaluation and Implementation > 1131-1139
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 54-68
Lecture Notes in Electrical Engineering > Informatics in Control, Automation and Robotics > Part I: Intelligent Control Systems and Optimization > 75-87
Handbook of Experimental Pharmacology > Dendritic Cells > Manipulation of Dendritic Cells for Immunotherapy > 251-273
The Journal of Allergy and Clinical Immunology > 2015 > 136 > 2 > 413-422
Immunology Letters > 2010 > 131 > 1 > 49-58
Annals of the New York Academy of Sciences > 1193 > 1 > 146 - 152