Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973554590> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1973554590 endingPage "588" @default.
- W1973554590 startingPage "575" @default.
- W1973554590 abstract "The paper is devoted to the problem of extending the temporal logic CTL so that it is more expressive and complicated properties can be expressed more succinctly. The specification language Reg CTL, an extension of CTL, is proposed. In Reg CTL every CTL temporal operator is augmented with a regular expression restricting thus moments when the validity is required. The resulting logic is more expressive than previous extensions of CTL with regular expressions. Reg CTL can be model-checked on-the-fly and the model checking algorithm is well distributable." @default.
- W1973554590 created "2016-06-24" @default.
- W1973554590 creator A5014178090 @default.
- W1973554590 creator A5082160514 @default.
- W1973554590 date "2002-10-01" @default.
- W1973554590 modified "2023-09-25" @default.
- W1973554590 title "Local Distributed Model Checking of Reg CTL" @default.
- W1973554590 cites W1495993314 @default.
- W1973554590 cites W1807369440 @default.
- W1973554590 cites W1988808695 @default.
- W1973554590 cites W1990609140 @default.
- W1973554590 cites W2000138546 @default.
- W1973554590 cites W2145394419 @default.
- W1973554590 doi "https://doi.org/10.1016/s1571-0661(05)80393-7" @default.
- W1973554590 hasPublicationYear "2002" @default.
- W1973554590 type Work @default.
- W1973554590 sameAs 1973554590 @default.
- W1973554590 citedByCount "0" @default.
- W1973554590 crossrefType "journal-article" @default.
- W1973554590 hasAuthorship W1973554590A5014178090 @default.
- W1973554590 hasAuthorship W1973554590A5082160514 @default.
- W1973554590 hasBestOaLocation W19735545901 @default.
- W1973554590 hasConcept C104317684 @default.
- W1973554590 hasConcept C110251889 @default.
- W1973554590 hasConcept C11413529 @default.
- W1973554590 hasConcept C147969180 @default.
- W1973554590 hasConcept C154317977 @default.
- W1973554590 hasConcept C158448853 @default.
- W1973554590 hasConcept C17020691 @default.
- W1973554590 hasConcept C198008173 @default.
- W1973554590 hasConcept C199360897 @default.
- W1973554590 hasConcept C202751555 @default.
- W1973554590 hasConcept C25016198 @default.
- W1973554590 hasConcept C2778029271 @default.
- W1973554590 hasConcept C41008148 @default.
- W1973554590 hasConcept C4777664 @default.
- W1973554590 hasConcept C55493867 @default.
- W1973554590 hasConcept C80444323 @default.
- W1973554590 hasConcept C86339819 @default.
- W1973554590 hasConcept C86803240 @default.
- W1973554590 hasConcept C90559484 @default.
- W1973554590 hasConceptScore W1973554590C104317684 @default.
- W1973554590 hasConceptScore W1973554590C110251889 @default.
- W1973554590 hasConceptScore W1973554590C11413529 @default.
- W1973554590 hasConceptScore W1973554590C147969180 @default.
- W1973554590 hasConceptScore W1973554590C154317977 @default.
- W1973554590 hasConceptScore W1973554590C158448853 @default.
- W1973554590 hasConceptScore W1973554590C17020691 @default.
- W1973554590 hasConceptScore W1973554590C198008173 @default.
- W1973554590 hasConceptScore W1973554590C199360897 @default.
- W1973554590 hasConceptScore W1973554590C202751555 @default.
- W1973554590 hasConceptScore W1973554590C25016198 @default.
- W1973554590 hasConceptScore W1973554590C2778029271 @default.
- W1973554590 hasConceptScore W1973554590C41008148 @default.
- W1973554590 hasConceptScore W1973554590C4777664 @default.
- W1973554590 hasConceptScore W1973554590C55493867 @default.
- W1973554590 hasConceptScore W1973554590C80444323 @default.
- W1973554590 hasConceptScore W1973554590C86339819 @default.
- W1973554590 hasConceptScore W1973554590C86803240 @default.
- W1973554590 hasConceptScore W1973554590C90559484 @default.
- W1973554590 hasFunder F4320321006 @default.
- W1973554590 hasIssue "4" @default.
- W1973554590 hasLocation W19735545901 @default.
- W1973554590 hasOpenAccess W1973554590 @default.
- W1973554590 hasPrimaryLocation W19735545901 @default.
- W1973554590 hasRelatedWork W1485309947 @default.
- W1973554590 hasRelatedWork W2040233837 @default.
- W1973554590 hasRelatedWork W2119610731 @default.
- W1973554590 hasRelatedWork W2356566217 @default.
- W1973554590 hasRelatedWork W2610066027 @default.
- W1973554590 hasRelatedWork W2931443989 @default.
- W1973554590 hasRelatedWork W3005864166 @default.
- W1973554590 hasRelatedWork W4214723139 @default.
- W1973554590 hasRelatedWork W4240265263 @default.
- W1973554590 hasRelatedWork W4285254379 @default.
- W1973554590 hasVolume "68" @default.
- W1973554590 isParatext "false" @default.
- W1973554590 isRetracted "false" @default.
- W1973554590 magId "1973554590" @default.
- W1973554590 workType "article" @default.