Matches in SemOpenAlex for { <https://semopenalex.org/work/W2501958301> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2501958301 abstract "This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verificatio" @default.
- W2501958301 created "2016-08-23" @default.
- W2501958301 creator A5051625762 @default.
- W2501958301 date "1992-01-01" @default.
- W2501958301 modified "2023-10-18" @default.
- W2501958301 title "The SECD Microprocessor" @default.
- W2501958301 doi "https://doi.org/10.1007/978-1-4615-3576-8" @default.
- W2501958301 hasPublicationYear "1992" @default.
- W2501958301 type Work @default.
- W2501958301 sameAs 2501958301 @default.
- W2501958301 citedByCount "15" @default.
- W2501958301 crossrefType "book" @default.
- W2501958301 hasAuthorship W2501958301A5051625762 @default.
- W2501958301 hasBestOaLocation W25019583011 @default.
- W2501958301 hasConcept C111919701 @default.
- W2501958301 hasConcept C120060458 @default.
- W2501958301 hasConcept C149635348 @default.
- W2501958301 hasConcept C205649164 @default.
- W2501958301 hasConcept C2780728072 @default.
- W2501958301 hasConcept C41008148 @default.
- W2501958301 hasConcept C58640448 @default.
- W2501958301 hasConceptScore W2501958301C111919701 @default.
- W2501958301 hasConceptScore W2501958301C120060458 @default.
- W2501958301 hasConceptScore W2501958301C149635348 @default.
- W2501958301 hasConceptScore W2501958301C205649164 @default.
- W2501958301 hasConceptScore W2501958301C2780728072 @default.
- W2501958301 hasConceptScore W2501958301C41008148 @default.
- W2501958301 hasConceptScore W2501958301C58640448 @default.
- W2501958301 hasLocation W25019583011 @default.
- W2501958301 hasOpenAccess W2501958301 @default.
- W2501958301 hasPrimaryLocation W25019583011 @default.
- W2501958301 hasRelatedWork W2112096947 @default.
- W2501958301 hasRelatedWork W2121854243 @default.
- W2501958301 hasRelatedWork W2354060507 @default.
- W2501958301 hasRelatedWork W2356762897 @default.
- W2501958301 hasRelatedWork W2371792015 @default.
- W2501958301 hasRelatedWork W2382986841 @default.
- W2501958301 hasRelatedWork W2388417751 @default.
- W2501958301 hasRelatedWork W2914416796 @default.
- W2501958301 hasRelatedWork W4245327557 @default.
- W2501958301 hasRelatedWork W4254667692 @default.
- W2501958301 isParatext "false" @default.
- W2501958301 isRetracted "false" @default.
- W2501958301 magId "2501958301" @default.
- W2501958301 workType "book" @default.