Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367672356> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W4367672356 created "2023-05-03" @default.
- W4367672356 creator A5004185054 @default.
- W4367672356 creator A5006881035 @default.
- W4367672356 creator A5018784780 @default.
- W4367672356 date "1998-05-18" @default.
- W4367672356 modified "2023-10-06" @default.
- W4367672356 title "Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond" @default.
- W4367672356 hasPublicationYear "1998" @default.
- W4367672356 type Work @default.
- W4367672356 citedByCount "0" @default.
- W4367672356 crossrefType "report" @default.
- W4367672356 hasAuthorship W4367672356A5004185054 @default.
- W4367672356 hasAuthorship W4367672356A5006881035 @default.
- W4367672356 hasAuthorship W4367672356A5018784780 @default.
- W4367672356 hasBestOaLocation W43676723561 @default.
- W4367672356 hasConcept C110251889 @default.
- W4367672356 hasConcept C25016198 @default.
- W4367672356 hasConcept C2524010 @default.
- W4367672356 hasConcept C2779886137 @default.
- W4367672356 hasConcept C33923547 @default.
- W4367672356 hasConcept C41008148 @default.
- W4367672356 hasConcept C4777664 @default.
- W4367672356 hasConcept C80444323 @default.
- W4367672356 hasConceptScore W4367672356C110251889 @default.
- W4367672356 hasConceptScore W4367672356C25016198 @default.
- W4367672356 hasConceptScore W4367672356C2524010 @default.
- W4367672356 hasConceptScore W4367672356C2779886137 @default.
- W4367672356 hasConceptScore W4367672356C33923547 @default.
- W4367672356 hasConceptScore W4367672356C41008148 @default.
- W4367672356 hasConceptScore W4367672356C4777664 @default.
- W4367672356 hasConceptScore W4367672356C80444323 @default.
- W4367672356 hasLocation W43676723561 @default.
- W4367672356 hasLocation W43676723562 @default.
- W4367672356 hasOpenAccess W4367672356 @default.
- W4367672356 hasPrimaryLocation W43676723561 @default.
- W4367672356 hasRelatedWork W1031601050 @default.
- W4367672356 hasRelatedWork W1513903619 @default.
- W4367672356 hasRelatedWork W1527462432 @default.
- W4367672356 hasRelatedWork W2013878945 @default.
- W4367672356 hasRelatedWork W2081369054 @default.
- W4367672356 hasRelatedWork W2103740034 @default.
- W4367672356 hasRelatedWork W2283260145 @default.
- W4367672356 hasRelatedWork W2477338659 @default.
- W4367672356 hasRelatedWork W2931443989 @default.
- W4367672356 hasRelatedWork W3005864166 @default.
- W4367672356 isParatext "false" @default.
- W4367672356 isRetracted "false" @default.
- W4367672356 workType "report" @default.