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: Chavoya, A Sanchez, A Lano, K

Citation: A. Chavoya et al., Formal implementation of procedural controllers for event-driven sequential systems in chemical processes, COMPUT CH E, 24(2-7), 2000, pp. 297-302

Authors: Lano, K France, R Bruel, JM

Citation: K. Lano et al., A semantic comparison of fusion and syntropy, COMPUTER J, 43(6), 2000, pp. 451-468

Authors: Evans, A Lano, K France, R Rumpe, B

Citation: A. Evans et al., Meta-modelling semantics of UML, KLUW ENGN C, 523, 1999, pp. 45-60

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