J. J. T. Kleijn

According to our database, J. J. T. Kleijn authored at least 4 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Analysis of an Industrial System.

J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda

Formal Methods Syst. Des., 2003

Redesign of a Systems Engineering Language: Formalisation of X.

Victor Bos, J. J. T. Kleijn

Formal Aspects Comput., 2003

2000

Formalisation of a Production System Modelling Language The operational semantics of c Core.

Victor Bos, J. J. T. Kleijn

Fundam. Informaticae, 2000

1998

A Process Algebra Based Verification of a Production System.

J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998