Towards the application of formal methods in process engineering

Publication
Department of Electrical and Computer Engineering, Concordia University