Matches in SemOpenAlex for { <https://semopenalex.org/work/W3139938260> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W3139938260 endingPage "288" @default.
- W3139938260 startingPage "279" @default.
- W3139938260 created "2021-04-13" @default.
- W3139938260 creator A5000267572 @default.
- W3139938260 creator A5020789737 @default.
- W3139938260 creator A5032223266 @default.
- W3139938260 creator A5080709782 @default.
- W3139938260 date "2011-01-01" @default.
- W3139938260 modified "2023-09-27" @default.
- W3139938260 title "Model-checking behavioral programs" @default.
- W3139938260 hasPublicationYear "2011" @default.
- W3139938260 type Work @default.
- W3139938260 sameAs 3139938260 @default.
- W3139938260 citedByCount "0" @default.
- W3139938260 crossrefType "proceedings-article" @default.
- W3139938260 hasAuthorship W3139938260A5000267572 @default.
- W3139938260 hasAuthorship W3139938260A5020789737 @default.
- W3139938260 hasAuthorship W3139938260A5032223266 @default.
- W3139938260 hasAuthorship W3139938260A5080709782 @default.
- W3139938260 hasConcept C110251889 @default.
- W3139938260 hasConcept C199360897 @default.
- W3139938260 hasConcept C41008148 @default.
- W3139938260 hasConceptScore W3139938260C110251889 @default.
- W3139938260 hasConceptScore W3139938260C199360897 @default.
- W3139938260 hasConceptScore W3139938260C41008148 @default.
- W3139938260 hasLocation W31399382601 @default.
- W3139938260 hasOpenAccess W3139938260 @default.
- W3139938260 hasPrimaryLocation W31399382601 @default.
- W3139938260 hasRelatedWork W124387753 @default.
- W3139938260 hasRelatedWork W1524123945 @default.
- W3139938260 hasRelatedWork W1554233758 @default.
- W3139938260 hasRelatedWork W1595593557 @default.
- W3139938260 hasRelatedWork W1596061562 @default.
- W3139938260 hasRelatedWork W1608367582 @default.
- W3139938260 hasRelatedWork W1932714653 @default.
- W3139938260 hasRelatedWork W2118155805 @default.
- W3139938260 hasRelatedWork W2121741338 @default.
- W3139938260 hasRelatedWork W2128720873 @default.
- W3139938260 hasRelatedWork W2129742967 @default.
- W3139938260 hasRelatedWork W2132150351 @default.
- W3139938260 hasRelatedWork W2184319373 @default.
- W3139938260 hasRelatedWork W2188463425 @default.
- W3139938260 hasRelatedWork W232434096 @default.
- W3139938260 hasRelatedWork W237798922 @default.
- W3139938260 hasRelatedWork W2912861698 @default.
- W3139938260 hasRelatedWork W2971248112 @default.
- W3139938260 hasRelatedWork W3152779315 @default.
- W3139938260 hasRelatedWork W2183376924 @default.
- W3139938260 isParatext "false" @default.
- W3139938260 isRetracted "false" @default.
- W3139938260 magId "3139938260" @default.
- W3139938260 workType "article" @default.