Matches in SemOpenAlex for { <https://semopenalex.org/work/W201825273> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W201825273 abstract "1. Introduction 2. Requirements 3. Case studies 4. The term rewriting approach 5. OBJ3 as a hardware specification language 6. Theorem proving with OBJ3 7. OBJ3 case studies 8. Conclusions Appendix Bibliography Index." @default.
- W201825273 created "2016-06-24" @default.
- W201825273 creator A5057626060 @default.
- W201825273 date "1993-08-27" @default.
- W201825273 modified "2023-09-27" @default.
- W201825273 title "Formal methods in circuit design" @default.
- W201825273 hasPublicationYear "1993" @default.
- W201825273 type Work @default.
- W201825273 sameAs 201825273 @default.
- W201825273 citedByCount "2" @default.
- W201825273 crossrefType "book" @default.
- W201825273 hasAuthorship W201825273A5057626060 @default.
- W201825273 hasConcept C121332964 @default.
- W201825273 hasConcept C154690210 @default.
- W201825273 hasConcept C161191863 @default.
- W201825273 hasConcept C199343813 @default.
- W201825273 hasConcept C199360897 @default.
- W201825273 hasConcept C2777382242 @default.
- W201825273 hasConcept C2777686260 @default.
- W201825273 hasConcept C41008148 @default.
- W201825273 hasConcept C61797465 @default.
- W201825273 hasConcept C62520636 @default.
- W201825273 hasConcept C71924100 @default.
- W201825273 hasConcept C97002063 @default.
- W201825273 hasConceptScore W201825273C121332964 @default.
- W201825273 hasConceptScore W201825273C154690210 @default.
- W201825273 hasConceptScore W201825273C161191863 @default.
- W201825273 hasConceptScore W201825273C199343813 @default.
- W201825273 hasConceptScore W201825273C199360897 @default.
- W201825273 hasConceptScore W201825273C2777382242 @default.
- W201825273 hasConceptScore W201825273C2777686260 @default.
- W201825273 hasConceptScore W201825273C41008148 @default.
- W201825273 hasConceptScore W201825273C61797465 @default.
- W201825273 hasConceptScore W201825273C62520636 @default.
- W201825273 hasConceptScore W201825273C71924100 @default.
- W201825273 hasConceptScore W201825273C97002063 @default.
- W201825273 hasLocation W2018252731 @default.
- W201825273 hasOpenAccess W201825273 @default.
- W201825273 hasPrimaryLocation W2018252731 @default.
- W201825273 hasRelatedWork W1000983556 @default.
- W201825273 hasRelatedWork W1513782751 @default.
- W201825273 hasRelatedWork W1528438529 @default.
- W201825273 hasRelatedWork W1540641846 @default.
- W201825273 hasRelatedWork W1571394659 @default.
- W201825273 hasRelatedWork W1605218223 @default.
- W201825273 hasRelatedWork W2067772798 @default.
- W201825273 hasRelatedWork W207164054 @default.
- W201825273 hasRelatedWork W2097140251 @default.
- W201825273 hasRelatedWork W2105218810 @default.
- W201825273 hasRelatedWork W2113092723 @default.
- W201825273 hasRelatedWork W2147174960 @default.
- W201825273 hasRelatedWork W2153591634 @default.
- W201825273 hasRelatedWork W2155155782 @default.
- W201825273 hasRelatedWork W2206711905 @default.
- W201825273 hasRelatedWork W2288968544 @default.
- W201825273 hasRelatedWork W2379299934 @default.
- W201825273 hasRelatedWork W3147662708 @default.
- W201825273 hasRelatedWork W617803071 @default.
- W201825273 hasRelatedWork W628041251 @default.
- W201825273 isParatext "false" @default.
- W201825273 isRetracted "false" @default.
- W201825273 magId "201825273" @default.
- W201825273 workType "book" @default.