Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569590355> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1569590355 endingPage "62" @default.
- W1569590355 startingPage "43" @default.
- W1569590355 created "2016-06-24" @default.
- W1569590355 creator A5075084077 @default.
- W1569590355 date "1982-05-17" @default.
- W1569590355 modified "2023-09-23" @default.
- W1569590355 title "The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic" @default.
- W1569590355 hasPublicationYear "1982" @default.
- W1569590355 type Work @default.
- W1569590355 sameAs 1569590355 @default.
- W1569590355 citedByCount "7" @default.
- W1569590355 crossrefType "journal-article" @default.
- W1569590355 hasAuthorship W1569590355A5075084077 @default.
- W1569590355 hasConcept C11648818 @default.
- W1569590355 hasConcept C13355873 @default.
- W1569590355 hasConcept C142724271 @default.
- W1569590355 hasConcept C162670838 @default.
- W1569590355 hasConcept C198008173 @default.
- W1569590355 hasConcept C199360897 @default.
- W1569590355 hasConcept C204787440 @default.
- W1569590355 hasConcept C25016198 @default.
- W1569590355 hasConcept C2524010 @default.
- W1569590355 hasConcept C2780385302 @default.
- W1569590355 hasConcept C33923547 @default.
- W1569590355 hasConcept C41008148 @default.
- W1569590355 hasConcept C4777664 @default.
- W1569590355 hasConcept C71924100 @default.
- W1569590355 hasConceptScore W1569590355C11648818 @default.
- W1569590355 hasConceptScore W1569590355C13355873 @default.
- W1569590355 hasConceptScore W1569590355C142724271 @default.
- W1569590355 hasConceptScore W1569590355C162670838 @default.
- W1569590355 hasConceptScore W1569590355C198008173 @default.
- W1569590355 hasConceptScore W1569590355C199360897 @default.
- W1569590355 hasConceptScore W1569590355C204787440 @default.
- W1569590355 hasConceptScore W1569590355C25016198 @default.
- W1569590355 hasConceptScore W1569590355C2524010 @default.
- W1569590355 hasConceptScore W1569590355C2780385302 @default.
- W1569590355 hasConceptScore W1569590355C33923547 @default.
- W1569590355 hasConceptScore W1569590355C41008148 @default.
- W1569590355 hasConceptScore W1569590355C4777664 @default.
- W1569590355 hasConceptScore W1569590355C71924100 @default.
- W1569590355 hasLocation W15695903551 @default.
- W1569590355 hasOpenAccess W1569590355 @default.
- W1569590355 hasPrimaryLocation W15695903551 @default.
- W1569590355 hasRelatedWork W1033526703 @default.
- W1569590355 hasRelatedWork W13255269 @default.
- W1569590355 hasRelatedWork W1526924704 @default.
- W1569590355 hasRelatedWork W1553264641 @default.
- W1569590355 hasRelatedWork W197308287 @default.
- W1569590355 hasRelatedWork W202748147 @default.
- W1569590355 hasRelatedWork W2033343871 @default.
- W1569590355 hasRelatedWork W2039853888 @default.
- W1569590355 hasRelatedWork W2086400283 @default.
- W1569590355 hasRelatedWork W2130140280 @default.
- W1569590355 hasRelatedWork W2153339829 @default.
- W1569590355 hasRelatedWork W2162950104 @default.
- W1569590355 hasRelatedWork W2171273359 @default.
- W1569590355 hasRelatedWork W2209892313 @default.
- W1569590355 hasRelatedWork W2253034871 @default.
- W1569590355 hasRelatedWork W2260769207 @default.
- W1569590355 hasRelatedWork W2353520132 @default.
- W1569590355 hasRelatedWork W2354589634 @default.
- W1569590355 hasRelatedWork W2373828044 @default.
- W1569590355 hasRelatedWork W94602661 @default.
- W1569590355 isParatext "false" @default.
- W1569590355 isRetracted "false" @default.
- W1569590355 magId "1569590355" @default.
- W1569590355 workType "article" @default.