Search results for: Aniello Murano
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 438-453
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 6. Verification > 318-332
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 183-197
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 61-77
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 324-338
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Types and Verification > 240-254
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Timed Systems and Games > 94-108
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 171-185
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 504-518
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 149-161
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Automata Theory and Logics > 527-542
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 371-386
Acta Informatica > 2016 > 53 > 6-8 > 587-619
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 1-2 > 55-77
Formal Methods in System Design > 2010 > 36 > 1 > 65-95