Matches in SemOpenAlex for { <https://semopenalex.org/work/W2471308051> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2471308051 created "2016-07-22" @default.
- W2471308051 creator A5020200827 @default.
- W2471308051 creator A5029235448 @default.
- W2471308051 creator A5090974026 @default.
- W2471308051 date "1998-02-02" @default.
- W2471308051 modified "2023-10-03" @default.
- W2471308051 title "Compositional Reasoning in Model Checking" @default.
- W2471308051 doi "https://doi.org/10.21236/ada339195" @default.
- W2471308051 hasPublicationYear "1998" @default.
- W2471308051 type Work @default.
- W2471308051 sameAs 2471308051 @default.
- W2471308051 citedByCount "65" @default.
- W2471308051 countsByYear W24713080512012 @default.
- W2471308051 countsByYear W24713080512013 @default.
- W2471308051 countsByYear W24713080512014 @default.
- W2471308051 countsByYear W24713080512015 @default.
- W2471308051 countsByYear W24713080512016 @default.
- W2471308051 countsByYear W24713080512017 @default.
- W2471308051 countsByYear W24713080512018 @default.
- W2471308051 countsByYear W24713080512019 @default.
- W2471308051 countsByYear W24713080512021 @default.
- W2471308051 crossrefType "report" @default.
- W2471308051 hasAuthorship W2471308051A5020200827 @default.
- W2471308051 hasAuthorship W2471308051A5029235448 @default.
- W2471308051 hasAuthorship W2471308051A5090974026 @default.
- W2471308051 hasConcept C110251889 @default.
- W2471308051 hasConcept C154945302 @default.
- W2471308051 hasConcept C161301231 @default.
- W2471308051 hasConcept C199360897 @default.
- W2471308051 hasConcept C37335422 @default.
- W2471308051 hasConcept C41008148 @default.
- W2471308051 hasConceptScore W2471308051C110251889 @default.
- W2471308051 hasConceptScore W2471308051C154945302 @default.
- W2471308051 hasConceptScore W2471308051C161301231 @default.
- W2471308051 hasConceptScore W2471308051C199360897 @default.
- W2471308051 hasConceptScore W2471308051C37335422 @default.
- W2471308051 hasConceptScore W2471308051C41008148 @default.
- W2471308051 hasLocation W24713080511 @default.
- W2471308051 hasOpenAccess W2471308051 @default.
- W2471308051 hasPrimaryLocation W24713080511 @default.
- W2471308051 hasRelatedWork W2013111119 @default.
- W2471308051 hasRelatedWork W2112962394 @default.
- W2471308051 hasRelatedWork W2118300983 @default.
- W2471308051 hasRelatedWork W2364866360 @default.
- W2471308051 hasRelatedWork W2382501300 @default.
- W2471308051 hasRelatedWork W3137189469 @default.
- W2471308051 hasRelatedWork W3162240892 @default.
- W2471308051 hasRelatedWork W4235530921 @default.
- W2471308051 hasRelatedWork W4243252198 @default.
- W2471308051 hasRelatedWork W4245713008 @default.
- W2471308051 isParatext "false" @default.
- W2471308051 isRetracted "false" @default.
- W2471308051 magId "2471308051" @default.
- W2471308051 workType "report" @default.