Analysis of an Industrial System

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. [doi]

Abstract

Abstract is missing.