Search results for: Margherita Napoli
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 6. Verification > 318-332
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 18-32
Lecture Notes in Computer Science > Automata, Languages and Programming > Temporal Logic and Model Checking > 776-789
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Types and Verification > 240-254
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 96-109
Lecture Notes in Computer Science > Machines, Computations, and Universality > Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints > 264-275
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking I > 306-325
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 192-211
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 249-260
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 405-416
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 139-150
Theoretical Computer Science > 2015 > 564 > Complete > 131-148
Electronic Notes in Theoretical Computer Science > 2011 > 278 > Complete > 215-228
Information and Computation > 2008 > 206 > 9-10 > 1161-1177
Formal Methods in System Design > 2007 > 31 > 3 > 265-279
Theoretical Computer Science > 2005 > 332 > 1-3 > 233-250