Linearization of [mu]CRL specifications
By: Y.S. Usenko
Contributors: Technische Universiteit Eindhoven
Series: Report SEN -- 0209
Publisher: Centrum voor Wiskunde en Informatica
Published: 2002
Place of publication: Amsterdam
Language: eng
Number of pages: 62
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 2002.