Search results for: J. -F. Raskin
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – I > 63-77
Fundamenta Informaticae > 2015 > Vol. 137, nr 1 > 29--60
Formal Methods in System Design > 2011 > 38 > 2 > 97-118
Fundamenta Informaticae > 2008 > Vol. 88, nr 3 > 275-305
Theoretical Computer Science > 2006 > 356 > 3 > 374-386
Journal of Computer and System Sciences > 2006 > 72 > 1 > 180-203
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 6 > 69-85
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 2 > 87-101
Electronic Notes in Theoretical Computer Science > 2003 > 68 > 6 > 85-106
Theoretical Computer Science > 2002 > 274 > 1-2 > 151-182
Information Processing Letters > 1999 > 69 > 5 > 221-225