Matches in SemOpenAlex for { <https://semopenalex.org/work/W633600577> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W633600577 abstract "Guided Synthesis Methods. Boyer-Moore Assisted Specification and Synthesis. Higher Order Logic Based Specification and Synthesis. Specification Formalisms. Formal Design of Regular VLSI Structures. Appendix: Formal Design Benchmark Example." @default.
- W633600577 created "2016-06-24" @default.
- W633600577 creator A5023502371 @default.
- W633600577 creator A5023776065 @default.
- W633600577 date "1990-01-01" @default.
- W633600577 modified "2023-09-28" @default.
- W633600577 title "Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design" @default.
- W633600577 hasPublicationYear "1990" @default.
- W633600577 type Work @default.
- W633600577 sameAs 633600577 @default.
- W633600577 citedByCount "0" @default.
- W633600577 crossrefType "book" @default.
- W633600577 hasAuthorship W633600577A5023502371 @default.
- W633600577 hasAuthorship W633600577A5023776065 @default.
- W633600577 hasConcept C115903868 @default.
- W633600577 hasConcept C116253237 @default.
- W633600577 hasConcept C118524514 @default.
- W633600577 hasConcept C14580979 @default.
- W633600577 hasConcept C149635348 @default.
- W633600577 hasConcept C41008148 @default.
- W633600577 hasConcept C75606506 @default.
- W633600577 hasConceptScore W633600577C115903868 @default.
- W633600577 hasConceptScore W633600577C116253237 @default.
- W633600577 hasConceptScore W633600577C118524514 @default.
- W633600577 hasConceptScore W633600577C14580979 @default.
- W633600577 hasConceptScore W633600577C149635348 @default.
- W633600577 hasConceptScore W633600577C41008148 @default.
- W633600577 hasConceptScore W633600577C75606506 @default.
- W633600577 hasLocation W6336005771 @default.
- W633600577 hasOpenAccess W633600577 @default.
- W633600577 hasPrimaryLocation W6336005771 @default.
- W633600577 hasRelatedWork W1262447868 @default.
- W633600577 hasRelatedWork W1539322507 @default.
- W633600577 hasRelatedWork W1543656447 @default.
- W633600577 hasRelatedWork W1544150460 @default.
- W633600577 hasRelatedWork W1562524848 @default.
- W633600577 hasRelatedWork W1590686765 @default.
- W633600577 hasRelatedWork W1962374495 @default.
- W633600577 hasRelatedWork W1970311428 @default.
- W633600577 hasRelatedWork W2038904603 @default.
- W633600577 hasRelatedWork W2075019250 @default.
- W633600577 hasRelatedWork W2106008526 @default.
- W633600577 hasRelatedWork W2112031719 @default.
- W633600577 hasRelatedWork W2126409379 @default.
- W633600577 hasRelatedWork W2184551755 @default.
- W633600577 hasRelatedWork W2321089318 @default.
- W633600577 hasRelatedWork W2327286437 @default.
- W633600577 hasRelatedWork W295759920 @default.
- W633600577 hasRelatedWork W585711640 @default.
- W633600577 hasRelatedWork W69672608 @default.
- W633600577 hasRelatedWork W96011720 @default.
- W633600577 isParatext "false" @default.
- W633600577 isRetracted "false" @default.
- W633600577 magId "633600577" @default.
- W633600577 workType "book" @default.