COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
Identification of dynamic systems for robust control design - a literature review. (Research report of the Systems and Controls Laboratory. OTKA T 4403.)
In: Proceedings of the second international conference in functional analysis and approximation theory. Maratea, 1992. ((Supplemento ai Rendiconti del Circolo Matematico di Palermo. Ser. 2. no. 33.).