Search results for: D. Amorim
Lecture Notes in Computer Science > Innovative Internet Computing Systems > Workshop Innovative Internet Computing Systems > 159-166
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 549-567
Lecture Notes in Computer Science > Computer Aided Verification > Automata and Transition Systems > 364-378