Formal specification and analysis of industrial systems
By: door Victor Bos and Jeroen Johannes Theodorus Kleijn
Contributors: Kleijn, Jeroen Johannes Theodorus; Technische Universiteit Eindhoven
Series: IPA dissertation series -- 2002,02; NUGI -- 857
Published: 2002
Language: eng
Number of pages: 317
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2002.