Search results for: Oscar Mondragon
Systems Engineering > 25 > 1 > 51 - 67
Lecture Notes in Computer Science > Model Checking Software > Checking Temporal Properties > 200-220
The Journal of Systems & Software > 2002 > 63 > 3 > 241-258
Electronic Notes in Theoretical Computer Science > 2001 > 55 > 2 > 164-180