Your search returned 2 results.

Results
	1.		Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 international conference on computer hardware description languages and their applications, 20-25 April 1997, Toledo, Spain Carlos Delgado Kloos and Eduard Cerny by Kloos, Carlos Delgado Cerny, Eduard Publication details: London Chapman & Hall c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.392 KLO.
	2.		Hierarchical annotated action diagrams : an interface-oriented specification and verification method E. Cerny ... [et al.] by Cerny, Eduard Berkane, B Girodias, P Khordoc, K Publication details: Dordrecht ; Boston Kluwer Academic Publishers 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 621.3981 CER.

Refine your search