Semantics and verification in process algebras with data and timing
By: Timothy Ariën Carol Willemse
Contributors: Technische Universiteit Eindhoven
Published: 2003
Language: eng
Number of pages: 181
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven 2003.