Matches in SemOpenAlex for { <https://semopenalex.org/work/W1315694> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1315694 endingPage "290" @default.
- W1315694 startingPage "271" @default.
- W1315694 created "2016-06-24" @default.
- W1315694 creator A5060460434 @default.
- W1315694 creator A5090229523 @default.
- W1315694 date "2014-01-01" @default.
- W1315694 modified "2023-10-18" @default.
- W1315694 title "Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation" @default.
- W1315694 cites W1315694 @default.
- W1315694 cites W1507873625 @default.
- W1315694 cites W1587990038 @default.
- W1315694 cites W1979159285 @default.
- W1315694 cites W1995136447 @default.
- W1315694 cites W2048905609 @default.
- W1315694 cites W2062205093 @default.
- W1315694 cites W4236300261 @default.
- W1315694 cites W4240040291 @default.
- W1315694 cites W4252785764 @default.
- W1315694 doi "https://doi.org/10.1007/978-3-319-14484-9_14" @default.
- W1315694 hasPublicationYear "2014" @default.
- W1315694 type Work @default.
- W1315694 sameAs 1315694 @default.
- W1315694 citedByCount "2" @default.
- W1315694 countsByYear W13156942014 @default.
- W1315694 countsByYear W13156942016 @default.
- W1315694 crossrefType "book-chapter" @default.
- W1315694 hasAuthorship W1315694A5060460434 @default.
- W1315694 hasAuthorship W1315694A5090229523 @default.
- W1315694 hasConcept C11413529 @default.
- W1315694 hasConcept C134306372 @default.
- W1315694 hasConcept C165696696 @default.
- W1315694 hasConcept C33923547 @default.
- W1315694 hasConcept C38652104 @default.
- W1315694 hasConcept C41008148 @default.
- W1315694 hasConcept C48103436 @default.
- W1315694 hasConcept C61445026 @default.
- W1315694 hasConcept C80444323 @default.
- W1315694 hasConcept C81721847 @default.
- W1315694 hasConceptScore W1315694C11413529 @default.
- W1315694 hasConceptScore W1315694C134306372 @default.
- W1315694 hasConceptScore W1315694C165696696 @default.
- W1315694 hasConceptScore W1315694C33923547 @default.
- W1315694 hasConceptScore W1315694C38652104 @default.
- W1315694 hasConceptScore W1315694C41008148 @default.
- W1315694 hasConceptScore W1315694C48103436 @default.
- W1315694 hasConceptScore W1315694C61445026 @default.
- W1315694 hasConceptScore W1315694C80444323 @default.
- W1315694 hasConceptScore W1315694C81721847 @default.
- W1315694 hasLocation W13156941 @default.
- W1315694 hasOpenAccess W1315694 @default.
- W1315694 hasPrimaryLocation W13156941 @default.
- W1315694 hasRelatedWork W1529847233 @default.
- W1315694 hasRelatedWork W1555721731 @default.
- W1315694 hasRelatedWork W171542336 @default.
- W1315694 hasRelatedWork W2089499361 @default.
- W1315694 hasRelatedWork W2331043530 @default.
- W1315694 hasRelatedWork W2374820792 @default.
- W1315694 hasRelatedWork W2393933887 @default.
- W1315694 hasRelatedWork W2964604098 @default.
- W1315694 hasRelatedWork W2997512100 @default.
- W1315694 hasRelatedWork W46806223 @default.
- W1315694 isParatext "false" @default.
- W1315694 isRetracted "false" @default.
- W1315694 magId "1315694" @default.
- W1315694 workType "book-chapter" @default.