Searching for "Observable Sharing for Functional Circuit Description." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Observable sharing for functional circuit description
- …Observable Sharing for Functional Circuit Description Koen Claessen and David Sands Chalmers…
- Cited by 31 (2 self) – Add To MetaCart
-
Observable Sharing for Functional Circuit Description
- …Observable Sharing for Functional Circuit Description Koen Claessen David Sands fkoen…
- Add To MetaCart
-
Embedded Languages for Describing and Verifying Hardware
- …, Maryland, in 1998 [17]. 2. Observable Sharing for Functional Circuit Description, written together…
- Cited by 14 (1 self) – Add To MetaCart
Showing 1 through 3.
