Formal specification and analysis of industrial systems / Victor Bos en Jeroen Johannes Theodorus Kleijn

Formal specification and analysis of industrial systems / Victor Bos en Jeroen Johannes Theodorus Kleijn