Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600408058> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1600408058 endingPage "252" @default.
- W1600408058 startingPage "200" @default.
- W1600408058 created "2016-06-24" @default.
- W1600408058 creator A5034436241 @default.
- W1600408058 creator A5078214635 @default.
- W1600408058 date "2005-11-19" @default.
- W1600408058 modified "2023-09-26" @default.
- W1600408058 title "Verification of concurrent programs: Temporal proof principles" @default.
- W1600408058 cites W1586491492 @default.
- W1600408058 cites W1964727056 @default.
- W1600408058 cites W1994350081 @default.
- W1600408058 cites W2012220159 @default.
- W1600408058 cites W2023808162 @default.
- W1600408058 cites W2047051012 @default.
- W1600408058 cites W2084910510 @default.
- W1600408058 cites W2132334337 @default.
- W1600408058 cites W2180713429 @default.
- W1600408058 doi "https://doi.org/10.1007/bfb0025785" @default.
- W1600408058 hasPublicationYear "2005" @default.
- W1600408058 type Work @default.
- W1600408058 sameAs 1600408058 @default.
- W1600408058 citedByCount "53" @default.
- W1600408058 countsByYear W16004080582016 @default.
- W1600408058 countsByYear W16004080582017 @default.
- W1600408058 crossrefType "book-chapter" @default.
- W1600408058 hasAuthorship W1600408058A5034436241 @default.
- W1600408058 hasAuthorship W1600408058A5078214635 @default.
- W1600408058 hasConcept C108710211 @default.
- W1600408058 hasConcept C110251889 @default.
- W1600408058 hasConcept C11413529 @default.
- W1600408058 hasConcept C134306372 @default.
- W1600408058 hasConcept C13766981 @default.
- W1600408058 hasConcept C15569618 @default.
- W1600408058 hasConcept C177148314 @default.
- W1600408058 hasConcept C184337299 @default.
- W1600408058 hasConcept C190470478 @default.
- W1600408058 hasConcept C195653647 @default.
- W1600408058 hasConcept C199343813 @default.
- W1600408058 hasConcept C199360897 @default.
- W1600408058 hasConcept C2318724 @default.
- W1600408058 hasConcept C25016198 @default.
- W1600408058 hasConcept C2524010 @default.
- W1600408058 hasConcept C2777686260 @default.
- W1600408058 hasConcept C33923547 @default.
- W1600408058 hasConcept C37914503 @default.
- W1600408058 hasConcept C40422974 @default.
- W1600408058 hasConcept C41008148 @default.
- W1600408058 hasConcept C4777664 @default.
- W1600408058 hasConcept C71924100 @default.
- W1600408058 hasConcept C80444323 @default.
- W1600408058 hasConceptScore W1600408058C108710211 @default.
- W1600408058 hasConceptScore W1600408058C110251889 @default.
- W1600408058 hasConceptScore W1600408058C11413529 @default.
- W1600408058 hasConceptScore W1600408058C134306372 @default.
- W1600408058 hasConceptScore W1600408058C13766981 @default.
- W1600408058 hasConceptScore W1600408058C15569618 @default.
- W1600408058 hasConceptScore W1600408058C177148314 @default.
- W1600408058 hasConceptScore W1600408058C184337299 @default.
- W1600408058 hasConceptScore W1600408058C190470478 @default.
- W1600408058 hasConceptScore W1600408058C195653647 @default.
- W1600408058 hasConceptScore W1600408058C199343813 @default.
- W1600408058 hasConceptScore W1600408058C199360897 @default.
- W1600408058 hasConceptScore W1600408058C2318724 @default.
- W1600408058 hasConceptScore W1600408058C25016198 @default.
- W1600408058 hasConceptScore W1600408058C2524010 @default.
- W1600408058 hasConceptScore W1600408058C2777686260 @default.
- W1600408058 hasConceptScore W1600408058C33923547 @default.
- W1600408058 hasConceptScore W1600408058C37914503 @default.
- W1600408058 hasConceptScore W1600408058C40422974 @default.
- W1600408058 hasConceptScore W1600408058C41008148 @default.
- W1600408058 hasConceptScore W1600408058C4777664 @default.
- W1600408058 hasConceptScore W1600408058C71924100 @default.
- W1600408058 hasConceptScore W1600408058C80444323 @default.
- W1600408058 hasLocation W16004080581 @default.
- W1600408058 hasOpenAccess W1600408058 @default.
- W1600408058 hasPrimaryLocation W16004080581 @default.
- W1600408058 hasRelatedWork W1481201928 @default.
- W1600408058 hasRelatedWork W1515452107 @default.
- W1600408058 hasRelatedWork W1520927108 @default.
- W1600408058 hasRelatedWork W1566242322 @default.
- W1600408058 hasRelatedWork W1583251282 @default.
- W1600408058 hasRelatedWork W1600408058 @default.
- W1600408058 hasRelatedWork W178744699 @default.
- W1600408058 hasRelatedWork W2345050942 @default.
- W1600408058 hasRelatedWork W2553574441 @default.
- W1600408058 hasRelatedWork W787793384 @default.
- W1600408058 isParatext "false" @default.
- W1600408058 isRetracted "false" @default.
- W1600408058 magId "1600408058" @default.
- W1600408058 workType "book-chapter" @default.