Victor Bos

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

3 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 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)

	2003
3		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		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)

Coauthor Index

1 Dirk A. van Beek (D. A. van Beek) [3]

2 J. J. T. Kleijn [1] [2]

3 J. E. Rooda (Jacobus E. Rooda) [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page