Trevor Wing Sang Lee

1995
2	EE	Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger: Automatic Verification of Asynchronous Circuits. IEEE Design & Test of Computers 12(1): 24-31 (1995)
1994
1		Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger: Automatic Verification of Refinement. ICCD 1994: 225-229

Coauthor Index

1	Mark R. Greenstreet	[1] [2]
2	Carl-Johan H. Seger	[1] [2]