Authors: Lano, K Bicarregui, J Kan, P

Citation: K. Lano et al., Experiences of using formal methods for chemical process control specification, CON ENG PR, 8(1), 2000, pp. 71-79

Authors: Lano, K Bicarregui, J

Citation: K. Lano et J. Bicarregui, Formalising the UML in structured temporal theories, KLUW ENGN C, 523, 1999, pp. 161-174