FRINK Linked Data Fragments server

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

• W2157373800 endingPage "1389" @default.
• W2157373800 startingPage "1384" @default.
• W2157373800 abstract "We show that the problem ofmodel checking multi-dimensional modal logics can be reduced to the problem of model checking ARCTL, an extension of the temporal logic CTL with action labels and operators to reason about actions. In particular, we introduce a methodology for model checking a temporal-epistemic logic by building upon an extension of the model checker NuSMV that enables the verification of ARCTL. We briefly present the implementation and report experimental results for the verification of a typical security protocol involving temporal-epistemic properties: the protocol of the dining cryptographers." @default.
• W2157373800 created "2016-06-24" @default.
• W2157373800 creator A5009460574 @default.
• W2157373800 creator A5015045050 @default.
• W2157373800 creator A5042997319 @default.
• W2157373800 date "2007-01-06" @default.
• W2157373800 modified "2023-09-27" @default.
• W2157373800 title "Automatic verification of knowledge and time with NuSMV" @default.
• W2157373800 cites W116450752 @default.
• W2157373800 cites W1489391022 @default.
• W2157373800 cites W1494976167 @default.
• W2157373800 cites W1507793072 @default.
• W2157373800 cites W1511042226 @default.
• W2157373800 cites W1781752104 @default.
• W2157373800 cites W181848957 @default.
• W2157373800 cites W1874424006 @default.
• W2157373800 cites W1882581446 @default.
• W2157373800 cites W1976097854 @default.
• W2157373800 cites W2046135868 @default.
• W2157373800 cites W2076073997 @default.
• W2157373800 cites W2087811006 @default.
• W2157373800 cites W2110930028 @default.
• W2157373800 cites W2115309705 @default.
• W2157373800 cites W2133956684 @default.
• W2157373800 cites W2137311808 @default.
• W2157373800 cites W2146819619 @default.
• W2157373800 cites W2340735175 @default.
• W2157373800 cites W2913459036 @default.
• W2157373800 cites W59994498 @default.
• W2157373800 cites W2136934274 @default.
• W2157373800 hasPublicationYear "2007" @default.
• W2157373800 type Work @default.
• W2157373800 sameAs 2157373800 @default.
• W2157373800 citedByCount "17" @default.
• W2157373800 countsByYear W21573738002012 @default.
• W2157373800 countsByYear W21573738002013 @default.
• W2157373800 countsByYear W21573738002014 @default.
• W2157373800 countsByYear W21573738002015 @default.
• W2157373800 countsByYear W21573738002018 @default.
• W2157373800 crossrefType "proceedings-article" @default.
• W2157373800 hasAuthorship W2157373800A5009460574 @default.
• W2157373800 hasAuthorship W2157373800A5015045050 @default.
• W2157373800 hasAuthorship W2157373800A5042997319 @default.
• W2157373800 hasConcept C110251889 @default.
• W2157373800 hasConcept C111498074 @default.
• W2157373800 hasConcept C11413529 @default.
• W2157373800 hasConcept C142724271 @default.
• W2157373800 hasConcept C178489894 @default.
• W2157373800 hasConcept C185592680 @default.
• W2157373800 hasConcept C188027245 @default.
• W2157373800 hasConcept C198008173 @default.
• W2157373800 hasConcept C199360897 @default.
• W2157373800 hasConcept C204787440 @default.
• W2157373800 hasConcept C25016198 @default.
• W2157373800 hasConcept C27508121 @default.
• W2157373800 hasConcept C2778029271 @default.
• W2157373800 hasConcept C2780385302 @default.
• W2157373800 hasConcept C30888246 @default.
• W2157373800 hasConcept C33884865 @default.
• W2157373800 hasConcept C41008148 @default.
• W2157373800 hasConcept C4777664 @default.
• W2157373800 hasConcept C71139939 @default.
• W2157373800 hasConcept C71924100 @default.
• W2157373800 hasConcept C80444323 @default.
• W2157373800 hasConceptScore W2157373800C110251889 @default.
• W2157373800 hasConceptScore W2157373800C111498074 @default.
• W2157373800 hasConceptScore W2157373800C11413529 @default.
• W2157373800 hasConceptScore W2157373800C142724271 @default.
• W2157373800 hasConceptScore W2157373800C178489894 @default.
• W2157373800 hasConceptScore W2157373800C185592680 @default.
• W2157373800 hasConceptScore W2157373800C188027245 @default.
• W2157373800 hasConceptScore W2157373800C198008173 @default.
• W2157373800 hasConceptScore W2157373800C199360897 @default.
• W2157373800 hasConceptScore W2157373800C204787440 @default.
• W2157373800 hasConceptScore W2157373800C25016198 @default.
• W2157373800 hasConceptScore W2157373800C27508121 @default.
• W2157373800 hasConceptScore W2157373800C2778029271 @default.
• W2157373800 hasConceptScore W2157373800C2780385302 @default.
• W2157373800 hasConceptScore W2157373800C30888246 @default.
• W2157373800 hasConceptScore W2157373800C33884865 @default.
• W2157373800 hasConceptScore W2157373800C41008148 @default.
• W2157373800 hasConceptScore W2157373800C4777664 @default.
• W2157373800 hasConceptScore W2157373800C71139939 @default.
• W2157373800 hasConceptScore W2157373800C71924100 @default.
• W2157373800 hasConceptScore W2157373800C80444323 @default.
• W2157373800 hasLocation W21573738001 @default.
• W2157373800 hasOpenAccess W2157373800 @default.
• W2157373800 hasPrimaryLocation W21573738001 @default.
• W2157373800 hasRelatedWork W1489391022 @default.
• W2157373800 hasRelatedWork W1498432697 @default.
• W2157373800 hasRelatedWork W1507793072 @default.
• W2157373800 hasRelatedWork W1526328753 @default.
• W2157373800 hasRelatedWork W1538974513 @default.
• W2157373800 hasRelatedWork W1781752104 @default.
• W2157373800 hasRelatedWork W1874424006 @default.
• W2157373800 hasRelatedWork W1882581446 @default.
• W2157373800 hasRelatedWork W1884747325 @default.
• W2157373800 hasRelatedWork W1980171857 @default.

• next