Authors: Mader, A Brinksma, E Wupper, H Bauer, N

Citation: A. Mader et al., Design of a PLC control program for a batch plant VHS case study 1, EUR J CONTR, 7(4), 2001, pp. 416-439

Authors: Bowman, H Derrick, J Brinksma, E

Citation: H. Bowman et al., Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997, IEEE SOFT E, 26(7), 2000, pp. 577-578

Authors: Brinksma, E

Citation: E. Brinksma, Cache consistency by design, DIST COMPUT, 12(2-3), 1999, pp. 61-74