Matches in SemOpenAlex for { <https://semopenalex.org/work/W32538124> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W32538124 created "2016-06-24" @default.
- W32538124 creator A5056710976 @default.
- W32538124 date "1992-01-01" @default.
- W32538124 modified "2023-09-23" @default.
- W32538124 title "A modal logic for handling behavioural constraints in formal hardware verification" @default.
- W32538124 cites W1998538047 @default.
- W32538124 cites W202289733 @default.
- W32538124 cites W2033724727 @default.
- W32538124 cites W2095844435 @default.
- W32538124 cites W2337722985 @default.
- W32538124 cites W640823630 @default.
- W32538124 hasPublicationYear "1992" @default.
- W32538124 type Work @default.
- W32538124 sameAs 32538124 @default.
- W32538124 citedByCount "6" @default.
- W32538124 countsByYear W325381242018 @default.
- W32538124 crossrefType "dissertation" @default.
- W32538124 hasAuthorship W32538124A5056710976 @default.
- W32538124 hasConcept C118524514 @default.
- W32538124 hasConcept C185592680 @default.
- W32538124 hasConcept C188027245 @default.
- W32538124 hasConcept C199360897 @default.
- W32538124 hasConcept C27508121 @default.
- W32538124 hasConcept C41008148 @default.
- W32538124 hasConcept C71139939 @default.
- W32538124 hasConcept C75606506 @default.
- W32538124 hasConcept C9390403 @default.
- W32538124 hasConceptScore W32538124C118524514 @default.
- W32538124 hasConceptScore W32538124C185592680 @default.
- W32538124 hasConceptScore W32538124C188027245 @default.
- W32538124 hasConceptScore W32538124C199360897 @default.
- W32538124 hasConceptScore W32538124C27508121 @default.
- W32538124 hasConceptScore W32538124C41008148 @default.
- W32538124 hasConceptScore W32538124C71139939 @default.
- W32538124 hasConceptScore W32538124C75606506 @default.
- W32538124 hasConceptScore W32538124C9390403 @default.
- W32538124 hasLocation W325381241 @default.
- W32538124 hasOpenAccess W32538124 @default.
- W32538124 hasPrimaryLocation W325381241 @default.
- W32538124 hasRelatedWork W1484851744 @default.
- W32538124 hasRelatedWork W1484942078 @default.
- W32538124 hasRelatedWork W1487403858 @default.
- W32538124 hasRelatedWork W1528534845 @default.
- W32538124 hasRelatedWork W1858894527 @default.
- W32538124 hasRelatedWork W1981311833 @default.
- W32538124 hasRelatedWork W1988824860 @default.
- W32538124 hasRelatedWork W1997143185 @default.
- W32538124 hasRelatedWork W2023132547 @default.
- W32538124 hasRelatedWork W2089733758 @default.
- W32538124 hasRelatedWork W2143326093 @default.
- W32538124 hasRelatedWork W2144488427 @default.
- W32538124 hasRelatedWork W2149609054 @default.
- W32538124 hasRelatedWork W2167342173 @default.
- W32538124 hasRelatedWork W2187936207 @default.
- W32538124 hasRelatedWork W2539433646 @default.
- W32538124 hasRelatedWork W2898364616 @default.
- W32538124 hasRelatedWork W49329176 @default.
- W32538124 hasRelatedWork W66175971 @default.
- W32538124 hasRelatedWork W2497078439 @default.
- W32538124 isParatext "false" @default.
- W32538124 isRetracted "false" @default.
- W32538124 magId "32538124" @default.
- W32538124 workType "dissertation" @default.