J. J. T. Kleijn

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda
Analysis of an Industrial System. Formal Methods Syst. Des. 22 (3) (2003)
Victor Bos, J. J. T. Kleijn
Redesign of a Systems Engineering Language: Formalisation of X. Formal Aspects Comput. 15 (4) (2003)
Victor Bos, J. J. T. Kleijn
Formalisation of a Production System Modelling Language The operational semantics of c Core. Fundam. Informaticae 41 (4) (2000)
J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers
A Process Algebra Based Verification of a Production System. ICFEM (1998)