Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247482804> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4247482804 endingPage "38" @default.
- W4247482804 startingPage "26" @default.
- W4247482804 created "2022-05-12" @default.
- W4247482804 creator A5087725351 @default.
- W4247482804 date "2005-05-01" @default.
- W4247482804 modified "2023-10-17" @default.
- W4247482804 title "Formal verification" @default.
- W4247482804 cites W2099529102 @default.
- W4247482804 cites W4251228600 @default.
- W4247482804 cites W4296471858 @default.
- W4247482804 cites W4299138792 @default.
- W4247482804 doi "https://doi.org/10.1007/bf02871329" @default.
- W4247482804 hasPublicationYear "2005" @default.
- W4247482804 type Work @default.
- W4247482804 citedByCount "2" @default.
- W4247482804 countsByYear W42474828042017 @default.
- W4247482804 countsByYear W42474828042018 @default.
- W4247482804 crossrefType "journal-article" @default.
- W4247482804 hasAuthorship W4247482804A5087725351 @default.
- W4247482804 hasConcept C111498074 @default.
- W4247482804 hasConcept C115903868 @default.
- W4247482804 hasConcept C199360897 @default.
- W4247482804 hasConcept C2777904410 @default.
- W4247482804 hasConcept C41008148 @default.
- W4247482804 hasConcept C75606506 @default.
- W4247482804 hasConceptScore W4247482804C111498074 @default.
- W4247482804 hasConceptScore W4247482804C115903868 @default.
- W4247482804 hasConceptScore W4247482804C199360897 @default.
- W4247482804 hasConceptScore W4247482804C2777904410 @default.
- W4247482804 hasConceptScore W4247482804C41008148 @default.
- W4247482804 hasConceptScore W4247482804C75606506 @default.
- W4247482804 hasIssue "5" @default.
- W4247482804 hasLocation W42474828041 @default.
- W4247482804 hasOpenAccess W4247482804 @default.
- W4247482804 hasPrimaryLocation W42474828041 @default.
- W4247482804 hasRelatedWork W1524361563 @default.
- W4247482804 hasRelatedWork W1536552036 @default.
- W4247482804 hasRelatedWork W2121507724 @default.
- W4247482804 hasRelatedWork W2149609054 @default.
- W4247482804 hasRelatedWork W2151898527 @default.
- W4247482804 hasRelatedWork W2370841479 @default.
- W4247482804 hasRelatedWork W2562928796 @default.
- W4247482804 hasRelatedWork W2899100898 @default.
- W4247482804 hasRelatedWork W47563837 @default.
- W4247482804 hasRelatedWork W61995002 @default.
- W4247482804 hasVolume "10" @default.
- W4247482804 isParatext "false" @default.
- W4247482804 isRetracted "false" @default.
- W4247482804 workType "article" @default.