Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536602013> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2536602013 created "2016-10-28" @default.
- W2536602013 creator A5003568892 @default.
- W2536602013 creator A5062524650 @default.
- W2536602013 creator A5066157144 @default.
- W2536602013 creator A5077738034 @default.
- W2536602013 date "2017-06-02" @default.
- W2536602013 modified "2023-09-30" @default.
- W2536602013 title "Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method" @default.
- W2536602013 doi "https://doi.org/10.3233/jid-2016-0020" @default.
- W2536602013 hasPublicationYear "2017" @default.
- W2536602013 type Work @default.
- W2536602013 sameAs 2536602013 @default.
- W2536602013 citedByCount "2" @default.
- W2536602013 countsByYear W25366020132017 @default.
- W2536602013 countsByYear W25366020132023 @default.
- W2536602013 crossrefType "journal-article" @default.
- W2536602013 hasAuthorship W2536602013A5003568892 @default.
- W2536602013 hasAuthorship W2536602013A5062524650 @default.
- W2536602013 hasAuthorship W2536602013A5066157144 @default.
- W2536602013 hasAuthorship W2536602013A5077738034 @default.
- W2536602013 hasConcept C104949639 @default.
- W2536602013 hasConcept C105795698 @default.
- W2536602013 hasConcept C199360897 @default.
- W2536602013 hasConcept C25016198 @default.
- W2536602013 hasConcept C2781181686 @default.
- W2536602013 hasConcept C33923547 @default.
- W2536602013 hasConcept C41008148 @default.
- W2536602013 hasConcept C55439883 @default.
- W2536602013 hasConcept C75606506 @default.
- W2536602013 hasConcept C80444323 @default.
- W2536602013 hasConceptScore W2536602013C104949639 @default.
- W2536602013 hasConceptScore W2536602013C105795698 @default.
- W2536602013 hasConceptScore W2536602013C199360897 @default.
- W2536602013 hasConceptScore W2536602013C25016198 @default.
- W2536602013 hasConceptScore W2536602013C2781181686 @default.
- W2536602013 hasConceptScore W2536602013C33923547 @default.
- W2536602013 hasConceptScore W2536602013C41008148 @default.
- W2536602013 hasConceptScore W2536602013C55439883 @default.
- W2536602013 hasConceptScore W2536602013C75606506 @default.
- W2536602013 hasConceptScore W2536602013C80444323 @default.
- W2536602013 hasLocation W25366020131 @default.
- W2536602013 hasOpenAccess W2536602013 @default.
- W2536602013 hasPrimaryLocation W25366020131 @default.
- W2536602013 hasRelatedWork W1489828373 @default.
- W2536602013 hasRelatedWork W1526924704 @default.
- W2536602013 hasRelatedWork W1579763347 @default.
- W2536602013 hasRelatedWork W1592369848 @default.
- W2536602013 hasRelatedWork W174561654 @default.
- W2536602013 hasRelatedWork W1816240867 @default.
- W2536602013 hasRelatedWork W1849529882 @default.
- W2536602013 hasRelatedWork W1866624891 @default.
- W2536602013 hasRelatedWork W1981596478 @default.
- W2536602013 hasRelatedWork W2020932334 @default.
- W2536602013 hasRelatedWork W2048370523 @default.
- W2536602013 hasRelatedWork W2092514393 @default.
- W2536602013 hasRelatedWork W2096695961 @default.
- W2536602013 hasRelatedWork W2099374974 @default.
- W2536602013 hasRelatedWork W2143555183 @default.
- W2536602013 hasRelatedWork W2153453076 @default.
- W2536602013 hasRelatedWork W2365236609 @default.
- W2536602013 hasRelatedWork W2539137866 @default.
- W2536602013 hasRelatedWork W618068147 @default.
- W2536602013 hasRelatedWork W2161088426 @default.
- W2536602013 isParatext "false" @default.
- W2536602013 isRetracted "false" @default.
- W2536602013 magId "2536602013" @default.
- W2536602013 workType "article" @default.