FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W656475520> ?p ?o ?g. }

• W656475520 endingPage "204" @default.
• W656475520 startingPage "187" @default.
• W656475520 created "2016-06-24" @default.
• W656475520 creator A5002818742 @default.
• W656475520 creator A5039827178 @default.
• W656475520 creator A5071893704 @default.
• W656475520 date "2015-06-03" @default.
• W656475520 modified "2023-10-01" @default.
• W656475520 title "SATMC: a SAT-based model checker for security protocols, business processes, and security APIs" @default.
• W656475520 cites W130718339 @default.
• W656475520 cites W1488313539 @default.
• W656475520 cites W1499326294 @default.
• W656475520 cites W1518705996 @default.
• W656475520 cites W1541087836 @default.
• W656475520 cites W1573295900 @default.
• W656475520 cites W1638508950 @default.
• W656475520 cites W1731763842 @default.
• W656475520 cites W1782799247 @default.
• W656475520 cites W1787074469 @default.
• W656475520 cites W1991596081 @default.
• W656475520 cites W1992592271 @default.
• W656475520 cites W1997423921 @default.
• W656475520 cites W2022738481 @default.
• W656475520 cites W2023040061 @default.
• W656475520 cites W2029693536 @default.
• W656475520 cites W2077836579 @default.
• W656475520 cites W2081830543 @default.
• W656475520 cites W2114189125 @default.
• W656475520 cites W2117064875 @default.
• W656475520 cites W2121845793 @default.
• W656475520 cites W2152241830 @default.
• W656475520 cites W2162325770 @default.
• W656475520 cites W2166327763 @default.
• W656475520 cites W2175137100 @default.
• W656475520 cites W2237653119 @default.
• W656475520 cites W4236524236 @default.
• W656475520 cites W4241528036 @default.
• W656475520 doi "https://doi.org/10.1007/s10009-015-0385-y" @default.
• W656475520 hasPublicationYear "2015" @default.
• W656475520 type Work @default.
• W656475520 sameAs 656475520 @default.
• W656475520 citedByCount "12" @default.
• W656475520 countsByYear W6564755202015 @default.
• W656475520 countsByYear W6564755202016 @default.
• W656475520 countsByYear W6564755202017 @default.
• W656475520 countsByYear W6564755202018 @default.
• W656475520 countsByYear W6564755202019 @default.
• W656475520 countsByYear W6564755202020 @default.
• W656475520 countsByYear W6564755202021 @default.
• W656475520 crossrefType "journal-article" @default.
• W656475520 hasAuthorship W656475520A5002818742 @default.
• W656475520 hasAuthorship W656475520A5039827178 @default.
• W656475520 hasAuthorship W656475520A5071893704 @default.
• W656475520 hasConcept C103377522 @default.
• W656475520 hasConcept C110251889 @default.
• W656475520 hasConcept C111919701 @default.
• W656475520 hasConcept C121822524 @default.
• W656475520 hasConcept C178489894 @default.
• W656475520 hasConcept C184842701 @default.
• W656475520 hasConcept C195518309 @default.
• W656475520 hasConcept C199360897 @default.
• W656475520 hasConcept C29983905 @default.
• W656475520 hasConcept C33884865 @default.
• W656475520 hasConcept C38369872 @default.
• W656475520 hasConcept C38652104 @default.
• W656475520 hasConcept C41008148 @default.
• W656475520 hasConcept C527648132 @default.
• W656475520 hasConcept C79974875 @default.
• W656475520 hasConceptScore W656475520C103377522 @default.
• W656475520 hasConceptScore W656475520C110251889 @default.
• W656475520 hasConceptScore W656475520C111919701 @default.
• W656475520 hasConceptScore W656475520C121822524 @default.
• W656475520 hasConceptScore W656475520C178489894 @default.
• W656475520 hasConceptScore W656475520C184842701 @default.
• W656475520 hasConceptScore W656475520C195518309 @default.
• W656475520 hasConceptScore W656475520C199360897 @default.
• W656475520 hasConceptScore W656475520C29983905 @default.
• W656475520 hasConceptScore W656475520C33884865 @default.
• W656475520 hasConceptScore W656475520C38369872 @default.
• W656475520 hasConceptScore W656475520C38652104 @default.
• W656475520 hasConceptScore W656475520C41008148 @default.
• W656475520 hasConceptScore W656475520C527648132 @default.
• W656475520 hasConceptScore W656475520C79974875 @default.
• W656475520 hasIssue "2" @default.
• W656475520 hasLocation W6564755201 @default.
• W656475520 hasOpenAccess W656475520 @default.
• W656475520 hasPrimaryLocation W6564755201 @default.
• W656475520 hasRelatedWork W1559718447 @default.
• W656475520 hasRelatedWork W2078706642 @default.
• W656475520 hasRelatedWork W2247050466 @default.
• W656475520 hasRelatedWork W2354051248 @default.
• W656475520 hasRelatedWork W2792832254 @default.
• W656475520 hasRelatedWork W2899972229 @default.
• W656475520 hasRelatedWork W2977630600 @default.
• W656475520 hasRelatedWork W3160956717 @default.
• W656475520 hasRelatedWork W3189065608 @default.
• W656475520 hasRelatedWork W896362041 @default.
• W656475520 hasVolume "18" @default.
• W656475520 isParatext "false" @default.
• W656475520 isRetracted "false" @default.

• next