dblp.uni-trier.dewww.uni-trier.de

J. J. T. Kleijn Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
4EEVictor Bos, J. J. T. Kleijn: Redesign of a Systems Engineering Language: Formalisation of X. Formal Asp. Comput. 15(4): 370-389 (2003)
3EEJ. 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
1EEJ. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)