Process spaces and formal verification of asynchronous circuits

Bibliographic Details
Main Author:	Negulescu, Radu.
Format:	Others
Language:	en
Published:	National Library of Canada = Bibliothèque nationale du Canada 2006
Subjects:	Harvested from Collections Canada
Online Access:	http://hdl.handle.net/10012/329

id	ndltd-WATERLOO-oai-uwspace.uwaterloo.ca-10012-329
record_format	oai_dc
spelling	ndltd-WATERLOO-oai-uwspace.uwaterloo.ca-10012-3292013-01-08T18:48:24ZNegulescu, Radu.2006-07-28T19:27:00Z2006-07-28T19:27:00Z19981998http://hdl.handle.net/10012/329application/pdf8270434 bytesapplication/pdfenNational Library of Canada = Bibliothèque nationale du CanadaCopyright: 1998, Negulescu, Radu.. All rights reserved.Harvested from Collections CanadaProcess spaces and formal verification of asynchronous circuitsThesis or DissertationPh.D.
collection	NDLTD
language	en
format	Others
sources	NDLTD
topic	Harvested from Collections Canada
spellingShingle	Harvested from Collections Canada Negulescu, Radu. Process spaces and formal verification of asynchronous circuits
author	Negulescu, Radu.
author_facet	Negulescu, Radu.
author_sort	Negulescu, Radu.
title	Process spaces and formal verification of asynchronous circuits
title_short	Process spaces and formal verification of asynchronous circuits
title_full	Process spaces and formal verification of asynchronous circuits
title_fullStr	Process spaces and formal verification of asynchronous circuits
title_full_unstemmed	Process spaces and formal verification of asynchronous circuits
title_sort	process spaces and formal verification of asynchronous circuits
publisher	National Library of Canada = Bibliothèque nationale du Canada
publishDate	2006
url	http://hdl.handle.net/10012/329
work_keys_str_mv	AT negulescuradu processspacesandformalverificationofasynchronouscircuits
_version_	1716572611416162304

Process spaces and formal verification of asynchronous circuits

Similar Items