Search results for: Aniello Murano
Concurrency and Computation: Practice and Experience > 33 > 4 > n/a - n/a
Procedia Computer Science > 2017 > 108 > C > 525-534
Theoretical Computer Science > 2016 > 656 > PA > 1-26
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