Research Output per year
Research Output 1986 2019
2005
Class-Level Behavioral Modeling and Synthesis
Bontemps, Y., Heymans, P., Saval, G., Schobbens, P-Y. & Trigaux, J-C., 2005, Namur, Belgium: University of Namur, Computer Science Institute.Research output: Book/Report/Journal › Other report
1999
Axioms for real-time logics
Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.Research output: Book/Report/Journal › Other report
The formal semantics of Albert II
Chabot, F., Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, Namur: FUNDP Institut d'Informatique.Research output: Book/Report/Journal › Other report
The logic of event clocks
Schobbens, P-Y. & Raskin, J-F., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.Research output: Book/Report/Journal › Other report