Search results for: Salvatore Torre
Pacing and Clinical Electrophysiology > 46 > 3 > 268 - 270
The Annals of Thoracic Surgery > 2017 > 104 > 4 > e333-e335
The Annals of Thoracic Surgery > 2017 > 104 > 1 > e35-e37
The Annals of Thoracic Surgery > 2016 > 102 > 1 > e23-e25
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 > Verification, Model Checking, and Abstract Interpretation > Timed Systems and Games > 94-108
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 412-426
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Concurrent/Distributed Systems > 299-314
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 70-85