| |
| 2003 | ||
|---|---|---|
| 3 | EE | D. A. van Beek, Victor Bos, J. E. Rooda: Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13(1): 39-61 (2003) |
| 2 | EE | Victor Bos, J. J. T. Kleijn: Redesign of a Systems Engineering Language: Formalisation of X. Formal Asp. Comput. 15(4): 370-389 (2003) |
| 2000 | ||
| 1 | Victor Bos, J. J. T. Kleijn: Formalisation of a Production System Modelling Language The operational semantics of c Core. Fundam. Inform. 41(4): 367-392 (2000) | |
| 1 | D. A. van Beek | [3] |
| 2 | J. J. T. Kleijn | [1] [2] |
| 3 | J. E. Rooda | [3] |