Search results for: Martin Ouimet
Lecture Notes in Computer Science > Models in Software Engineering > W2 – Critical Systems Development > 32-41
Lecture Notes in Computer Science > Computer Aided Verification > Session III: Timed Synthesis and Games > 126-130
Electronic Notes in Theoretical Computer Science > 2007 > 190 > 2 > 85-97