J. J. T. Kleijn
According to our database1,
J. J. T. Kleijn
authored at least 4 papers
between 1998 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Formal Aspects Comput., 2003
2000
Formalisation of a Production System Modelling Language The operational semantics of c Core.
Fundam. Informaticae, 2000
1998
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998