Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912731068> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2912731068 created "2019-02-21" @default.
- W2912731068 creator A5000827924 @default.
- W2912731068 creator A5044721279 @default.
- W2912731068 date "2005-01-18" @default.
- W2912731068 modified "2023-09-24" @default.
- W2912731068 title "A dividing technique of assertions for an interface protocol used in a divide and conquer approach of formal verification" @default.
- W2912731068 hasPublicationYear "2005" @default.
- W2912731068 type Work @default.
- W2912731068 sameAs 2912731068 @default.
- W2912731068 citedByCount "0" @default.
- W2912731068 crossrefType "journal-article" @default.
- W2912731068 hasAuthorship W2912731068A5000827924 @default.
- W2912731068 hasAuthorship W2912731068A5044721279 @default.
- W2912731068 hasConcept C110875604 @default.
- W2912731068 hasConcept C111919701 @default.
- W2912731068 hasConcept C113843644 @default.
- W2912731068 hasConcept C129307140 @default.
- W2912731068 hasConcept C136764020 @default.
- W2912731068 hasConcept C142724271 @default.
- W2912731068 hasConcept C157915830 @default.
- W2912731068 hasConcept C173655357 @default.
- W2912731068 hasConcept C199360897 @default.
- W2912731068 hasConcept C204787440 @default.
- W2912731068 hasConcept C2780385302 @default.
- W2912731068 hasConcept C38652104 @default.
- W2912731068 hasConcept C41008148 @default.
- W2912731068 hasConcept C71559656 @default.
- W2912731068 hasConcept C71924100 @default.
- W2912731068 hasConcept C80444323 @default.
- W2912731068 hasConceptScore W2912731068C110875604 @default.
- W2912731068 hasConceptScore W2912731068C111919701 @default.
- W2912731068 hasConceptScore W2912731068C113843644 @default.
- W2912731068 hasConceptScore W2912731068C129307140 @default.
- W2912731068 hasConceptScore W2912731068C136764020 @default.
- W2912731068 hasConceptScore W2912731068C142724271 @default.
- W2912731068 hasConceptScore W2912731068C157915830 @default.
- W2912731068 hasConceptScore W2912731068C173655357 @default.
- W2912731068 hasConceptScore W2912731068C199360897 @default.
- W2912731068 hasConceptScore W2912731068C204787440 @default.
- W2912731068 hasConceptScore W2912731068C2780385302 @default.
- W2912731068 hasConceptScore W2912731068C38652104 @default.
- W2912731068 hasConceptScore W2912731068C41008148 @default.
- W2912731068 hasConceptScore W2912731068C71559656 @default.
- W2912731068 hasConceptScore W2912731068C71924100 @default.
- W2912731068 hasConceptScore W2912731068C80444323 @default.
- W2912731068 hasLocation W29127310681 @default.
- W2912731068 hasOpenAccess W2912731068 @default.
- W2912731068 hasPrimaryLocation W29127310681 @default.
- W2912731068 hasRelatedWork W1487152533 @default.
- W2912731068 hasRelatedWork W1535389146 @default.
- W2912731068 hasRelatedWork W1875613325 @default.
- W2912731068 hasRelatedWork W192332515 @default.
- W2912731068 hasRelatedWork W1982726215 @default.
- W2912731068 hasRelatedWork W2036347357 @default.
- W2912731068 hasRelatedWork W2137385583 @default.
- W2912731068 hasRelatedWork W2318903138 @default.
- W2912731068 hasRelatedWork W2403881818 @default.
- W2912731068 hasRelatedWork W2407344601 @default.
- W2912731068 hasRelatedWork W2598180208 @default.
- W2912731068 hasRelatedWork W2887073352 @default.
- W2912731068 hasRelatedWork W3007981259 @default.
- W2912731068 hasRelatedWork W3127707154 @default.
- W2912731068 hasRelatedWork W3167157352 @default.
- W2912731068 hasRelatedWork W3174475612 @default.
- W2912731068 hasRelatedWork W3185648906 @default.
- W2912731068 hasRelatedWork W635779640 @default.
- W2912731068 hasRelatedWork W2089803895 @default.
- W2912731068 hasRelatedWork W2774586265 @default.
- W2912731068 hasVolume "104" @default.
- W2912731068 isParatext "false" @default.
- W2912731068 isRetracted "false" @default.
- W2912731068 magId "2912731068" @default.
- W2912731068 workType "article" @default.