Matches in SemOpenAlex for { <https://semopenalex.org/work/W3203778859> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W3203778859 created "2021-10-11" @default.
- W3203778859 creator A5018982940 @default.
- W3203778859 date "2001-01-01" @default.
- W3203778859 modified "2023-09-27" @default.
- W3203778859 title "Bandera Tool Set to Model-Check Properties of Concurrent Java Software" @default.
- W3203778859 hasPublicationYear "2001" @default.
- W3203778859 type Work @default.
- W3203778859 sameAs 3203778859 @default.
- W3203778859 citedByCount "0" @default.
- W3203778859 crossrefType "journal-article" @default.
- W3203778859 hasAuthorship W3203778859A5018982940 @default.
- W3203778859 hasConcept C111919701 @default.
- W3203778859 hasConcept C115903868 @default.
- W3203778859 hasConcept C177264268 @default.
- W3203778859 hasConcept C199360897 @default.
- W3203778859 hasConcept C2777904410 @default.
- W3203778859 hasConcept C41008148 @default.
- W3203778859 hasConcept C548217200 @default.
- W3203778859 hasConceptScore W3203778859C111919701 @default.
- W3203778859 hasConceptScore W3203778859C115903868 @default.
- W3203778859 hasConceptScore W3203778859C177264268 @default.
- W3203778859 hasConceptScore W3203778859C199360897 @default.
- W3203778859 hasConceptScore W3203778859C2777904410 @default.
- W3203778859 hasConceptScore W3203778859C41008148 @default.
- W3203778859 hasConceptScore W3203778859C548217200 @default.
- W3203778859 hasLocation W32037788591 @default.
- W3203778859 hasOpenAccess W3203778859 @default.
- W3203778859 hasPrimaryLocation W32037788591 @default.
- W3203778859 hasRelatedWork W1455759230 @default.
- W3203778859 hasRelatedWork W1481650330 @default.
- W3203778859 hasRelatedWork W1596061562 @default.
- W3203778859 hasRelatedWork W1634565026 @default.
- W3203778859 hasRelatedWork W1932714653 @default.
- W3203778859 hasRelatedWork W1968783153 @default.
- W3203778859 hasRelatedWork W2007425955 @default.
- W3203778859 hasRelatedWork W2074764976 @default.
- W3203778859 hasRelatedWork W2097831214 @default.
- W3203778859 hasRelatedWork W2118155805 @default.
- W3203778859 hasRelatedWork W2137501186 @default.
- W3203778859 hasRelatedWork W2138557872 @default.
- W3203778859 hasRelatedWork W2291859720 @default.
- W3203778859 hasRelatedWork W2348100758 @default.
- W3203778859 hasRelatedWork W2803369237 @default.
- W3203778859 hasRelatedWork W2941368670 @default.
- W3203778859 hasRelatedWork W3011395855 @default.
- W3203778859 hasRelatedWork W311058545 @default.
- W3203778859 hasRelatedWork W3152779315 @default.
- W3203778859 hasRelatedWork W2194203915 @default.
- W3203778859 isParatext "false" @default.
- W3203778859 isRetracted "false" @default.
- W3203778859 magId "3203778859" @default.
- W3203778859 workType "article" @default.