Search results for: Simeon Veloudis
Service Oriented Computing and Applications > 2017 > 11 > 4 > 445-458
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Verification > 228-239
Service Oriented Computing and Applications > 2017 > 11 > 4 > 445-458
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Verification > 228-239