Formal techniques for verification of complex real-time systems
By: Marc Geilen
Contributors: Technische Universiteit Eindhoven
Published: 2002
Language: eng
Number of pages: 264
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2002.