Matches in SemOpenAlex for { <https://semopenalex.org/work/W1579989646> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1579989646 endingPage "293" @default.
- W1579989646 startingPage "282" @default.
- W1579989646 created "2016-06-24" @default.
- W1579989646 creator A5018322893 @default.
- W1579989646 creator A5046926274 @default.
- W1579989646 date "2010-01-01" @default.
- W1579989646 modified "2023-10-14" @default.
- W1579989646 title "Cryptographic Protocols Analysis in Event B" @default.
- W1579989646 cites W1519732997 @default.
- W1579989646 cites W1523413446 @default.
- W1579989646 cites W2029693536 @default.
- W1579989646 cites W2076964487 @default.
- W1579989646 cites W2146973388 @default.
- W1579989646 cites W2155032609 @default.
- W1579989646 cites W3162919972 @default.
- W1579989646 cites W4253748132 @default.
- W1579989646 cites W4254354208 @default.
- W1579989646 doi "https://doi.org/10.1007/978-3-642-11486-1_24" @default.
- W1579989646 hasPublicationYear "2010" @default.
- W1579989646 type Work @default.
- W1579989646 sameAs 1579989646 @default.
- W1579989646 citedByCount "6" @default.
- W1579989646 countsByYear W15799896462014 @default.
- W1579989646 countsByYear W15799896462017 @default.
- W1579989646 countsByYear W15799896462021 @default.
- W1579989646 countsByYear W15799896462022 @default.
- W1579989646 countsByYear W15799896462023 @default.
- W1579989646 crossrefType "book-chapter" @default.
- W1579989646 hasAuthorship W1579989646A5018322893 @default.
- W1579989646 hasAuthorship W1579989646A5046926274 @default.
- W1579989646 hasConcept C115903868 @default.
- W1579989646 hasConcept C121332964 @default.
- W1579989646 hasConcept C142724271 @default.
- W1579989646 hasConcept C148730421 @default.
- W1579989646 hasConcept C15927051 @default.
- W1579989646 hasConcept C178489894 @default.
- W1579989646 hasConcept C17886624 @default.
- W1579989646 hasConcept C203062551 @default.
- W1579989646 hasConcept C204787440 @default.
- W1579989646 hasConcept C26517878 @default.
- W1579989646 hasConcept C2779662365 @default.
- W1579989646 hasConcept C2780385302 @default.
- W1579989646 hasConcept C33884865 @default.
- W1579989646 hasConcept C38652104 @default.
- W1579989646 hasConcept C41008148 @default.
- W1579989646 hasConcept C62520636 @default.
- W1579989646 hasConcept C71924100 @default.
- W1579989646 hasConcept C75606506 @default.
- W1579989646 hasConcept C80444323 @default.
- W1579989646 hasConceptScore W1579989646C115903868 @default.
- W1579989646 hasConceptScore W1579989646C121332964 @default.
- W1579989646 hasConceptScore W1579989646C142724271 @default.
- W1579989646 hasConceptScore W1579989646C148730421 @default.
- W1579989646 hasConceptScore W1579989646C15927051 @default.
- W1579989646 hasConceptScore W1579989646C178489894 @default.
- W1579989646 hasConceptScore W1579989646C17886624 @default.
- W1579989646 hasConceptScore W1579989646C203062551 @default.
- W1579989646 hasConceptScore W1579989646C204787440 @default.
- W1579989646 hasConceptScore W1579989646C26517878 @default.
- W1579989646 hasConceptScore W1579989646C2779662365 @default.
- W1579989646 hasConceptScore W1579989646C2780385302 @default.
- W1579989646 hasConceptScore W1579989646C33884865 @default.
- W1579989646 hasConceptScore W1579989646C38652104 @default.
- W1579989646 hasConceptScore W1579989646C41008148 @default.
- W1579989646 hasConceptScore W1579989646C62520636 @default.
- W1579989646 hasConceptScore W1579989646C71924100 @default.
- W1579989646 hasConceptScore W1579989646C75606506 @default.
- W1579989646 hasConceptScore W1579989646C80444323 @default.
- W1579989646 hasLocation W15799896461 @default.
- W1579989646 hasOpenAccess W1579989646 @default.
- W1579989646 hasPrimaryLocation W15799896461 @default.
- W1579989646 hasRelatedWork W1584201750 @default.
- W1579989646 hasRelatedWork W1950779939 @default.
- W1579989646 hasRelatedWork W2106987376 @default.
- W1579989646 hasRelatedWork W2134477803 @default.
- W1579989646 hasRelatedWork W2135076159 @default.
- W1579989646 hasRelatedWork W2148742293 @default.
- W1579989646 hasRelatedWork W2152891650 @default.
- W1579989646 hasRelatedWork W2160450576 @default.
- W1579989646 hasRelatedWork W2274609711 @default.
- W1579989646 hasRelatedWork W2505612108 @default.
- W1579989646 isParatext "false" @default.
- W1579989646 isRetracted "false" @default.
- W1579989646 magId "1579989646" @default.
- W1579989646 workType "book-chapter" @default.