Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405238036> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2405238036 endingPage "192" @default.
- W2405238036 startingPage "183" @default.
- W2405238036 created "2016-06-24" @default.
- W2405238036 creator A5007281041 @default.
- W2405238036 creator A5008766097 @default.
- W2405238036 creator A5071742136 @default.
- W2405238036 creator A5075576417 @default.
- W2405238036 creator A5084007478 @default.
- W2405238036 date "2011-01-01" @default.
- W2405238036 modified "2023-09-23" @default.
- W2405238036 title "Towards Automatic Property Generation for the Formal Verification of Bus Bridges." @default.
- W2405238036 hasPublicationYear "2011" @default.
- W2405238036 type Work @default.
- W2405238036 sameAs 2405238036 @default.
- W2405238036 citedByCount "1" @default.
- W2405238036 countsByYear W24052380362018 @default.
- W2405238036 crossrefType "journal-article" @default.
- W2405238036 hasAuthorship W2405238036A5007281041 @default.
- W2405238036 hasAuthorship W2405238036A5008766097 @default.
- W2405238036 hasAuthorship W2405238036A5071742136 @default.
- W2405238036 hasAuthorship W2405238036A5075576417 @default.
- W2405238036 hasAuthorship W2405238036A5084007478 @default.
- W2405238036 hasConcept C111472728 @default.
- W2405238036 hasConcept C111498074 @default.
- W2405238036 hasConcept C138885662 @default.
- W2405238036 hasConcept C189950617 @default.
- W2405238036 hasConcept C199360897 @default.
- W2405238036 hasConcept C41008148 @default.
- W2405238036 hasConceptScore W2405238036C111472728 @default.
- W2405238036 hasConceptScore W2405238036C111498074 @default.
- W2405238036 hasConceptScore W2405238036C138885662 @default.
- W2405238036 hasConceptScore W2405238036C189950617 @default.
- W2405238036 hasConceptScore W2405238036C199360897 @default.
- W2405238036 hasConceptScore W2405238036C41008148 @default.
- W2405238036 hasLocation W24052380361 @default.
- W2405238036 hasOpenAccess W2405238036 @default.
- W2405238036 hasPrimaryLocation W24052380361 @default.
- W2405238036 hasRelatedWork W1493006972 @default.
- W2405238036 hasRelatedWork W1493475676 @default.
- W2405238036 hasRelatedWork W1967597118 @default.
- W2405238036 hasRelatedWork W2026584294 @default.
- W2405238036 hasRelatedWork W2035419570 @default.
- W2405238036 hasRelatedWork W2106035292 @default.
- W2405238036 hasRelatedWork W2108930304 @default.
- W2405238036 hasRelatedWork W2115240397 @default.
- W2405238036 hasRelatedWork W2118572231 @default.
- W2405238036 hasRelatedWork W2139828280 @default.
- W2405238036 hasRelatedWork W2149807869 @default.
- W2405238036 hasRelatedWork W2379683247 @default.
- W2405238036 hasRelatedWork W2380038888 @default.
- W2405238036 hasRelatedWork W2385961228 @default.
- W2405238036 hasRelatedWork W2509521284 @default.
- W2405238036 hasRelatedWork W2531550985 @default.
- W2405238036 hasRelatedWork W2783138789 @default.
- W2405238036 hasRelatedWork W3149247053 @default.
- W2405238036 hasRelatedWork W2411002761 @default.
- W2405238036 hasRelatedWork W2934306680 @default.
- W2405238036 isParatext "false" @default.
- W2405238036 isRetracted "false" @default.
- W2405238036 magId "2405238036" @default.
- W2405238036 workType "article" @default.