Back to the 1998 catalog

PhD · 1998

Radu Negulescu

Process Spaces and Formal Verification of Asynchronous Circuits

Year

1998

Academic unit

Computer Science

Surname

Negulescu

Supervisor

Janusz A. Brzozowski