Pierre‐Yves Schobbens
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Axioms for real-time logics
Pierre‐Yves Schobbens and others (2002) · Theoretical Computer Science · Elsevier BV
State clock logic: A decidable real-time logic
Jean-François Raskin and others (1997) · Lecture notes in computer science · Springer Science+Business Media