Matches in SemOpenAlex for { <https://semopenalex.org/work/W2253034871> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2253034871 created "2016-06-24" @default.
- W2253034871 creator A5002158554 @default.
- W2253034871 date "1985-01-01" @default.
- W2253034871 modified "2023-09-23" @default.
- W2253034871 title "Specification-verification of protocols : the significant event temporal logic technique" @default.
- W2253034871 doi "https://doi.org/10.14288/1.0051887" @default.
- W2253034871 hasPublicationYear "1985" @default.
- W2253034871 type Work @default.
- W2253034871 sameAs 2253034871 @default.
- W2253034871 citedByCount "0" @default.
- W2253034871 crossrefType "journal-article" @default.
- W2253034871 hasAuthorship W2253034871A5002158554 @default.
- W2253034871 hasConcept C11648818 @default.
- W2253034871 hasConcept C121332964 @default.
- W2253034871 hasConcept C162670838 @default.
- W2253034871 hasConcept C199360897 @default.
- W2253034871 hasConcept C25016198 @default.
- W2253034871 hasConcept C2779662365 @default.
- W2253034871 hasConcept C41008148 @default.
- W2253034871 hasConcept C62520636 @default.
- W2253034871 hasConceptScore W2253034871C11648818 @default.
- W2253034871 hasConceptScore W2253034871C121332964 @default.
- W2253034871 hasConceptScore W2253034871C162670838 @default.
- W2253034871 hasConceptScore W2253034871C199360897 @default.
- W2253034871 hasConceptScore W2253034871C25016198 @default.
- W2253034871 hasConceptScore W2253034871C2779662365 @default.
- W2253034871 hasConceptScore W2253034871C41008148 @default.
- W2253034871 hasConceptScore W2253034871C62520636 @default.
- W2253034871 hasLocation W22530348711 @default.
- W2253034871 hasOpenAccess W2253034871 @default.
- W2253034871 hasPrimaryLocation W22530348711 @default.
- W2253034871 hasRelatedWork W1033526703 @default.
- W2253034871 hasRelatedWork W13255269 @default.
- W2253034871 hasRelatedWork W147139443 @default.
- W2253034871 hasRelatedWork W1514236884 @default.
- W2253034871 hasRelatedWork W1526924704 @default.
- W2253034871 hasRelatedWork W1569590355 @default.
- W2253034871 hasRelatedWork W1602335448 @default.
- W2253034871 hasRelatedWork W2099878668 @default.
- W2253034871 hasRelatedWork W2121055005 @default.
- W2253034871 hasRelatedWork W21291312 @default.
- W2253034871 hasRelatedWork W2171273359 @default.
- W2253034871 hasRelatedWork W2238080057 @default.
- W2253034871 hasRelatedWork W2260769207 @default.
- W2253034871 hasRelatedWork W259594895 @default.
- W2253034871 hasRelatedWork W2605251839 @default.
- W2253034871 hasRelatedWork W2808441478 @default.
- W2253034871 hasRelatedWork W2978727374 @default.
- W2253034871 hasRelatedWork W3105635592 @default.
- W2253034871 hasRelatedWork W79222658 @default.
- W2253034871 hasRelatedWork W94602661 @default.
- W2253034871 isParatext "false" @default.
- W2253034871 isRetracted "false" @default.
- W2253034871 magId "2253034871" @default.
- W2253034871 workType "article" @default.