Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982885287> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1982885287 endingPage "612" @default.
- W1982885287 startingPage "569" @default.
- W1982885287 created "2016-06-24" @default.
- W1982885287 creator A5067813217 @default.
- W1982885287 creator A5070926992 @default.
- W1982885287 date "2012-10-16" @default.
- W1982885287 modified "2023-10-04" @default.
- W1982885287 title "Verification of complex dynamic data tree with mu-calculus" @default.
- W1982885287 cites W1479786137 @default.
- W1982885287 cites W1481843134 @default.
- W1982885287 cites W1522742464 @default.
- W1982885287 cites W1599489402 @default.
- W1982885287 cites W1720848645 @default.
- W1982885287 cites W2032794285 @default.
- W1982885287 cites W2040060046 @default.
- W1982885287 cites W2045662659 @default.
- W1982885287 cites W2053154567 @default.
- W1982885287 cites W2117009500 @default.
- W1982885287 cites W2138475270 @default.
- W1982885287 cites W2140687990 @default.
- W1982885287 cites W2170577595 @default.
- W1982885287 cites W4232660060 @default.
- W1982885287 doi "https://doi.org/10.1007/s10515-012-0113-8" @default.
- W1982885287 hasPublicationYear "2012" @default.
- W1982885287 type Work @default.
- W1982885287 sameAs 1982885287 @default.
- W1982885287 citedByCount "1" @default.
- W1982885287 countsByYear W19828852872023 @default.
- W1982885287 crossrefType "journal-article" @default.
- W1982885287 hasAuthorship W1982885287A5067813217 @default.
- W1982885287 hasAuthorship W1982885287A5070926992 @default.
- W1982885287 hasConcept C110251889 @default.
- W1982885287 hasConcept C113174947 @default.
- W1982885287 hasConcept C11413529 @default.
- W1982885287 hasConcept C134306372 @default.
- W1982885287 hasConcept C150202949 @default.
- W1982885287 hasConcept C154945302 @default.
- W1982885287 hasConcept C162319229 @default.
- W1982885287 hasConcept C197298091 @default.
- W1982885287 hasConcept C199360897 @default.
- W1982885287 hasConcept C2780801425 @default.
- W1982885287 hasConcept C33923547 @default.
- W1982885287 hasConcept C41008148 @default.
- W1982885287 hasConcept C80444323 @default.
- W1982885287 hasConceptScore W1982885287C110251889 @default.
- W1982885287 hasConceptScore W1982885287C113174947 @default.
- W1982885287 hasConceptScore W1982885287C11413529 @default.
- W1982885287 hasConceptScore W1982885287C134306372 @default.
- W1982885287 hasConceptScore W1982885287C150202949 @default.
- W1982885287 hasConceptScore W1982885287C154945302 @default.
- W1982885287 hasConceptScore W1982885287C162319229 @default.
- W1982885287 hasConceptScore W1982885287C197298091 @default.
- W1982885287 hasConceptScore W1982885287C199360897 @default.
- W1982885287 hasConceptScore W1982885287C2780801425 @default.
- W1982885287 hasConceptScore W1982885287C33923547 @default.
- W1982885287 hasConceptScore W1982885287C41008148 @default.
- W1982885287 hasConceptScore W1982885287C80444323 @default.
- W1982885287 hasIssue "4" @default.
- W1982885287 hasLocation W19828852871 @default.
- W1982885287 hasOpenAccess W1982885287 @default.
- W1982885287 hasPrimaryLocation W19828852871 @default.
- W1982885287 hasRelatedWork W1502289629 @default.
- W1982885287 hasRelatedWork W1982885287 @default.
- W1982885287 hasRelatedWork W2032794285 @default.
- W1982885287 hasRelatedWork W2039139011 @default.
- W1982885287 hasRelatedWork W2045903735 @default.
- W1982885287 hasRelatedWork W2140108761 @default.
- W1982885287 hasRelatedWork W2151898527 @default.
- W1982885287 hasRelatedWork W2355331918 @default.
- W1982885287 hasRelatedWork W2899100898 @default.
- W1982885287 hasRelatedWork W1933097745 @default.
- W1982885287 hasVolume "20" @default.
- W1982885287 isParatext "false" @default.
- W1982885287 isRetracted "false" @default.
- W1982885287 magId "1982885287" @default.
- W1982885287 workType "article" @default.