Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385462040> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W4385462040 endingPage "104" @default.
- W4385462040 startingPage "57" @default.
- W4385462040 created "2023-08-02" @default.
- W4385462040 creator A5021669146 @default.
- W4385462040 creator A5045152316 @default.
- W4385462040 creator A5055358727 @default.
- W4385462040 creator A5073892199 @default.
- W4385462040 date "2023-08-01" @default.
- W4385462040 modified "2023-09-27" @default.
- W4385462040 title "Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols" @default.
- W4385462040 doi "https://doi.org/10.1201/9781003090052-2" @default.
- W4385462040 hasPublicationYear "2023" @default.
- W4385462040 type Work @default.
- W4385462040 citedByCount "0" @default.
- W4385462040 crossrefType "book-chapter" @default.
- W4385462040 hasAuthorship W4385462040A5021669146 @default.
- W4385462040 hasAuthorship W4385462040A5045152316 @default.
- W4385462040 hasAuthorship W4385462040A5055358727 @default.
- W4385462040 hasAuthorship W4385462040A5073892199 @default.
- W4385462040 hasConcept C15927051 @default.
- W4385462040 hasConcept C178489894 @default.
- W4385462040 hasConcept C33884865 @default.
- W4385462040 hasConcept C38652104 @default.
- W4385462040 hasConcept C41008148 @default.
- W4385462040 hasConceptScore W4385462040C15927051 @default.
- W4385462040 hasConceptScore W4385462040C178489894 @default.
- W4385462040 hasConceptScore W4385462040C33884865 @default.
- W4385462040 hasConceptScore W4385462040C38652104 @default.
- W4385462040 hasConceptScore W4385462040C41008148 @default.
- W4385462040 hasLocation W43854620401 @default.
- W4385462040 hasOpenAccess W4385462040 @default.
- W4385462040 hasPrimaryLocation W43854620401 @default.
- W4385462040 hasRelatedWork W1971522943 @default.
- W4385462040 hasRelatedWork W2047264827 @default.
- W4385462040 hasRelatedWork W2141019415 @default.
- W4385462040 hasRelatedWork W2397688157 @default.
- W4385462040 hasRelatedWork W2496342316 @default.
- W4385462040 hasRelatedWork W2904314268 @default.
- W4385462040 hasRelatedWork W2904818008 @default.
- W4385462040 hasRelatedWork W3034338022 @default.
- W4385462040 hasRelatedWork W57958781 @default.
- W4385462040 hasRelatedWork W87530933 @default.
- W4385462040 isParatext "false" @default.
- W4385462040 isRetracted "false" @default.
- W4385462040 workType "book-chapter" @default.