Matches in SemOpenAlex for { <https://semopenalex.org/work/W4240634662> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4240634662 endingPage "72" @default.
- W4240634662 startingPage "58" @default.
- W4240634662 created "2022-05-12" @default.
- W4240634662 creator A5001567598 @default.
- W4240634662 creator A5049755378 @default.
- W4240634662 date "2011-01-01" @default.
- W4240634662 modified "2023-10-14" @default.
- W4240634662 title "Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations" @default.
- W4240634662 cites W1555213565 @default.
- W4240634662 cites W1987581799 @default.
- W4240634662 cites W2029693536 @default.
- W4240634662 cites W2101512909 @default.
- W4240634662 cites W2119251836 @default.
- W4240634662 cites W2266218113 @default.
- W4240634662 doi "https://doi.org/10.1007/978-3-642-19125-1_5" @default.
- W4240634662 hasPublicationYear "2011" @default.
- W4240634662 type Work @default.
- W4240634662 citedByCount "10" @default.
- W4240634662 countsByYear W42406346622012 @default.
- W4240634662 countsByYear W42406346622015 @default.
- W4240634662 countsByYear W42406346622017 @default.
- W4240634662 countsByYear W42406346622018 @default.
- W4240634662 countsByYear W42406346622019 @default.
- W4240634662 countsByYear W42406346622020 @default.
- W4240634662 crossrefType "book-chapter" @default.
- W4240634662 hasAuthorship W4240634662A5001567598 @default.
- W4240634662 hasAuthorship W4240634662A5049755378 @default.
- W4240634662 hasBestOaLocation W42406346622 @default.
- W4240634662 hasConcept C142724271 @default.
- W4240634662 hasConcept C15927051 @default.
- W4240634662 hasConcept C178489894 @default.
- W4240634662 hasConcept C199360897 @default.
- W4240634662 hasConcept C204787440 @default.
- W4240634662 hasConcept C26713055 @default.
- W4240634662 hasConcept C2777904410 @default.
- W4240634662 hasConcept C2779639559 @default.
- W4240634662 hasConcept C2780385302 @default.
- W4240634662 hasConcept C33884865 @default.
- W4240634662 hasConcept C38652104 @default.
- W4240634662 hasConcept C41008148 @default.
- W4240634662 hasConcept C71924100 @default.
- W4240634662 hasConcept C80444323 @default.
- W4240634662 hasConceptScore W4240634662C142724271 @default.
- W4240634662 hasConceptScore W4240634662C15927051 @default.
- W4240634662 hasConceptScore W4240634662C178489894 @default.
- W4240634662 hasConceptScore W4240634662C199360897 @default.
- W4240634662 hasConceptScore W4240634662C204787440 @default.
- W4240634662 hasConceptScore W4240634662C26713055 @default.
- W4240634662 hasConceptScore W4240634662C2777904410 @default.
- W4240634662 hasConceptScore W4240634662C2779639559 @default.
- W4240634662 hasConceptScore W4240634662C2780385302 @default.
- W4240634662 hasConceptScore W4240634662C33884865 @default.
- W4240634662 hasConceptScore W4240634662C38652104 @default.
- W4240634662 hasConceptScore W4240634662C41008148 @default.
- W4240634662 hasConceptScore W4240634662C71924100 @default.
- W4240634662 hasConceptScore W4240634662C80444323 @default.
- W4240634662 hasLocation W42406346621 @default.
- W4240634662 hasLocation W42406346622 @default.
- W4240634662 hasOpenAccess W4240634662 @default.
- W4240634662 hasPrimaryLocation W42406346621 @default.
- W4240634662 hasRelatedWork W1118510 @default.
- W4240634662 hasRelatedWork W18724527 @default.
- W4240634662 hasRelatedWork W20933699 @default.
- W4240634662 hasRelatedWork W2165735 @default.
- W4240634662 hasRelatedWork W2578686 @default.
- W4240634662 hasRelatedWork W3105912 @default.
- W4240634662 hasRelatedWork W3412451 @default.
- W4240634662 hasRelatedWork W4467644 @default.
- W4240634662 hasRelatedWork W4474736 @default.
- W4240634662 hasRelatedWork W4783647 @default.
- W4240634662 isParatext "false" @default.
- W4240634662 isRetracted "false" @default.
- W4240634662 workType "book-chapter" @default.