Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585114414> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1585114414 endingPage "256" @default.
- W1585114414 startingPage "242" @default.
- W1585114414 created "2016-06-24" @default.
- W1585114414 creator A5034436241 @default.
- W1585114414 creator A5051394740 @default.
- W1585114414 creator A5058348937 @default.
- W1585114414 date "2006-01-01" @default.
- W1585114414 modified "2023-10-17" @default.
- W1585114414 title "Proving ATL* Properties of Infinite-State Systems" @default.
- W1585114414 cites W120333500 @default.
- W1585114414 cites W1585114414 @default.
- W1585114414 cites W1596365597 @default.
- W1585114414 cites W1605381479 @default.
- W1585114414 cites W1865597116 @default.
- W1585114414 cites W1910260799 @default.
- W1585114414 cites W2022228153 @default.
- W1585114414 cites W2048905609 @default.
- W1585114414 cites W2051588031 @default.
- W1585114414 cites W2060375000 @default.
- W1585114414 cites W2078078820 @default.
- W1585114414 cites W2160254449 @default.
- W1585114414 cites W2570289169 @default.
- W1585114414 cites W4232573339 @default.
- W1585114414 doi "https://doi.org/10.1007/11921240_17" @default.
- W1585114414 hasPublicationYear "2006" @default.
- W1585114414 type Work @default.
- W1585114414 sameAs 1585114414 @default.
- W1585114414 citedByCount "3" @default.
- W1585114414 crossrefType "book-chapter" @default.
- W1585114414 hasAuthorship W1585114414A5034436241 @default.
- W1585114414 hasAuthorship W1585114414A5051394740 @default.
- W1585114414 hasAuthorship W1585114414A5058348937 @default.
- W1585114414 hasConcept C108710211 @default.
- W1585114414 hasConcept C110251889 @default.
- W1585114414 hasConcept C11413529 @default.
- W1585114414 hasConcept C153269930 @default.
- W1585114414 hasConcept C199360897 @default.
- W1585114414 hasConcept C25016198 @default.
- W1585114414 hasConcept C2524010 @default.
- W1585114414 hasConcept C2776411971 @default.
- W1585114414 hasConcept C33923547 @default.
- W1585114414 hasConcept C40422974 @default.
- W1585114414 hasConcept C41008148 @default.
- W1585114414 hasConcept C48103436 @default.
- W1585114414 hasConcept C80444323 @default.
- W1585114414 hasConceptScore W1585114414C108710211 @default.
- W1585114414 hasConceptScore W1585114414C110251889 @default.
- W1585114414 hasConceptScore W1585114414C11413529 @default.
- W1585114414 hasConceptScore W1585114414C153269930 @default.
- W1585114414 hasConceptScore W1585114414C199360897 @default.
- W1585114414 hasConceptScore W1585114414C25016198 @default.
- W1585114414 hasConceptScore W1585114414C2524010 @default.
- W1585114414 hasConceptScore W1585114414C2776411971 @default.
- W1585114414 hasConceptScore W1585114414C33923547 @default.
- W1585114414 hasConceptScore W1585114414C40422974 @default.
- W1585114414 hasConceptScore W1585114414C41008148 @default.
- W1585114414 hasConceptScore W1585114414C48103436 @default.
- W1585114414 hasConceptScore W1585114414C80444323 @default.
- W1585114414 hasLocation W15851144141 @default.
- W1585114414 hasOpenAccess W1585114414 @default.
- W1585114414 hasPrimaryLocation W15851144141 @default.
- W1585114414 hasRelatedWork W1520927108 @default.
- W1585114414 hasRelatedWork W1543261728 @default.
- W1585114414 hasRelatedWork W1585114414 @default.
- W1585114414 hasRelatedWork W2282576365 @default.
- W1585114414 hasRelatedWork W2610458644 @default.
- W1585114414 hasRelatedWork W2963147186 @default.
- W1585114414 hasRelatedWork W3159912674 @default.
- W1585114414 hasRelatedWork W3177160037 @default.
- W1585114414 hasRelatedWork W4287200437 @default.
- W1585114414 hasRelatedWork W2490022152 @default.
- W1585114414 isParatext "false" @default.
- W1585114414 isRetracted "false" @default.
- W1585114414 magId "1585114414" @default.
- W1585114414 workType "book-chapter" @default.