J. J. T. Kleijn (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 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)

1 J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99

Selection of 2 from 4 records - J. J. T. Kleijn has 3 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		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)
1		J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99