J. J. T. Kleijn

2003
4	EE	Victor Bos, J. J. T. Kleijn: Redesign of a Systems Engineering Language: Formalisation of X. Formal Asp. Comput. 15(4): 370-389 (2003)
3	EE	J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda: Analysis of an Industrial System. Formal Methods in System Design 22(3): 249-282 (2003)
2000
2		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)
1998
1	EE	J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99

Coauthor Index

1	Victor Bos	[2] [4]
2	Michel A. Reniers	[1] [3]
3	J. E. Rooda	[1] [3]