Matches in SemOpenAlex for { <https://semopenalex.org/work/W205653041> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W205653041 endingPage "1185" @default.
- W205653041 startingPage "1172" @default.
- W205653041 created "2016-06-24" @default.
- W205653041 creator A5003975379 @default.
- W205653041 creator A5089573791 @default.
- W205653041 date "1998-11-25" @default.
- W205653041 modified "2023-09-23" @default.
- W205653041 title "Proposal for Incremental Formal Verification" @default.
- W205653041 hasPublicationYear "1998" @default.
- W205653041 type Work @default.
- W205653041 sameAs 205653041 @default.
- W205653041 citedByCount "0" @default.
- W205653041 crossrefType "journal-article" @default.
- W205653041 hasAuthorship W205653041A5003975379 @default.
- W205653041 hasAuthorship W205653041A5089573791 @default.
- W205653041 hasConcept C111498074 @default.
- W205653041 hasConcept C115903868 @default.
- W205653041 hasConcept C199360897 @default.
- W205653041 hasConcept C41008148 @default.
- W205653041 hasConcept C75606506 @default.
- W205653041 hasConceptScore W205653041C111498074 @default.
- W205653041 hasConceptScore W205653041C115903868 @default.
- W205653041 hasConceptScore W205653041C199360897 @default.
- W205653041 hasConceptScore W205653041C41008148 @default.
- W205653041 hasConceptScore W205653041C75606506 @default.
- W205653041 hasIssue "11" @default.
- W205653041 hasLocation W2056530411 @default.
- W205653041 hasOpenAccess W205653041 @default.
- W205653041 hasPrimaryLocation W2056530411 @default.
- W205653041 hasRelatedWork W115044809 @default.
- W205653041 hasRelatedWork W1487650552 @default.
- W205653041 hasRelatedWork W1511246520 @default.
- W205653041 hasRelatedWork W1513782751 @default.
- W205653041 hasRelatedWork W1522193254 @default.
- W205653041 hasRelatedWork W1531350193 @default.
- W205653041 hasRelatedWork W1550905057 @default.
- W205653041 hasRelatedWork W1700062752 @default.
- W205653041 hasRelatedWork W2004320552 @default.
- W205653041 hasRelatedWork W2037848873 @default.
- W205653041 hasRelatedWork W2109917208 @default.
- W205653041 hasRelatedWork W2117690652 @default.
- W205653041 hasRelatedWork W2157753532 @default.
- W205653041 hasRelatedWork W2165807079 @default.
- W205653041 hasRelatedWork W2166178773 @default.
- W205653041 hasRelatedWork W2206711905 @default.
- W205653041 hasRelatedWork W2981793488 @default.
- W205653041 hasRelatedWork W49671750 @default.
- W205653041 hasRelatedWork W98863865 @default.
- W205653041 hasRelatedWork W2526590097 @default.
- W205653041 hasVolume "81" @default.
- W205653041 isParatext "false" @default.
- W205653041 isRetracted "false" @default.
- W205653041 magId "205653041" @default.
- W205653041 workType "article" @default.