Searching for "Identification and Counter Abstraction for Full Virtual Symmetry." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Identification and Counter Abstraction for Full Virtual Symmetry
by Ou Wei, Arie Gurfinkel, Marsha Chechik — 2005 — In Proceedings of 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of LNCS
…Identification and Counter Abstraction for Full Virtual Symmetry Ou Wei, Arie Gurfinkel…
Cited by 2 (2 self) – Add To MetaCart

Identification and Counter Abstraction for Full Virtual Symmetry
by Ou Wei Arie Gurfinkel — 2005 — In CHARME’05, volume 3725 of LNCS
… Identification and Counter Abstraction for Full VirtualSymmetry Ou Wei, Arie Gurfinkel…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB