Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571061062> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1571061062 endingPage "25" @default.
- W1571061062 startingPage "1" @default.
- W1571061062 abstract "Detecting cycles in a state space is a key task in verification algortihms like LTL/CTL model checking and, less well known, reduction modulo branching bisimulation. This paper focuses on the problem of finding cycles (strongly connected components) in very large distributed state spaces. We present a collection of state space transformations meant as building blocks for custom algorithms. We also describe two example algorithms and show that they perform well on practical case studies" @default.
- W1571061062 created "2016-06-24" @default.
- W1571061062 creator A5001365343 @default.
- W1571061062 creator A5077830018 @default.
- W1571061062 date "2005-01-01" @default.
- W1571061062 modified "2023-09-23" @default.
- W1571061062 title "Detecting strongly connected components in large distributed state spaces" @default.
- W1571061062 hasPublicationYear "2005" @default.
- W1571061062 type Work @default.
- W1571061062 sameAs 1571061062 @default.
- W1571061062 citedByCount "2" @default.
- W1571061062 crossrefType "journal-article" @default.
- W1571061062 hasAuthorship W1571061062A5001365343 @default.
- W1571061062 hasAuthorship W1571061062A5077830018 @default.
- W1571061062 hasConcept C105795698 @default.
- W1571061062 hasConcept C110251889 @default.
- W1571061062 hasConcept C11413529 @default.
- W1571061062 hasConcept C118615104 @default.
- W1571061062 hasConcept C120314980 @default.
- W1571061062 hasConcept C135315306 @default.
- W1571061062 hasConcept C26517878 @default.
- W1571061062 hasConcept C33923547 @default.
- W1571061062 hasConcept C38652104 @default.
- W1571061062 hasConcept C41008148 @default.
- W1571061062 hasConcept C48103436 @default.
- W1571061062 hasConcept C54732982 @default.
- W1571061062 hasConcept C72434380 @default.
- W1571061062 hasConcept C80444323 @default.
- W1571061062 hasConceptScore W1571061062C105795698 @default.
- W1571061062 hasConceptScore W1571061062C110251889 @default.
- W1571061062 hasConceptScore W1571061062C11413529 @default.
- W1571061062 hasConceptScore W1571061062C118615104 @default.
- W1571061062 hasConceptScore W1571061062C120314980 @default.
- W1571061062 hasConceptScore W1571061062C135315306 @default.
- W1571061062 hasConceptScore W1571061062C26517878 @default.
- W1571061062 hasConceptScore W1571061062C33923547 @default.
- W1571061062 hasConceptScore W1571061062C38652104 @default.
- W1571061062 hasConceptScore W1571061062C41008148 @default.
- W1571061062 hasConceptScore W1571061062C48103436 @default.
- W1571061062 hasConceptScore W1571061062C54732982 @default.
- W1571061062 hasConceptScore W1571061062C72434380 @default.
- W1571061062 hasConceptScore W1571061062C80444323 @default.
- W1571061062 hasLocation W15710610621 @default.
- W1571061062 hasOpenAccess W1571061062 @default.
- W1571061062 hasPrimaryLocation W15710610621 @default.
- W1571061062 hasRelatedWork W1488190666 @default.
- W1571061062 hasRelatedWork W1524204778 @default.
- W1571061062 hasRelatedWork W1571953574 @default.
- W1571061062 hasRelatedWork W1586489249 @default.
- W1571061062 hasRelatedWork W1586572263 @default.
- W1571061062 hasRelatedWork W1592314966 @default.
- W1571061062 hasRelatedWork W168936052 @default.
- W1571061062 hasRelatedWork W17443020 @default.
- W1571061062 hasRelatedWork W2130423160 @default.
- W1571061062 hasRelatedWork W2136312285 @default.
- W1571061062 hasRelatedWork W2214514062 @default.
- W1571061062 hasRelatedWork W2278179621 @default.
- W1571061062 hasRelatedWork W2293841724 @default.
- W1571061062 hasRelatedWork W2294599607 @default.
- W1571061062 hasRelatedWork W2497178367 @default.
- W1571061062 hasRelatedWork W2742026421 @default.
- W1571061062 hasRelatedWork W2751326373 @default.
- W1571061062 hasRelatedWork W2807078576 @default.
- W1571061062 hasRelatedWork W2912175166 @default.
- W1571061062 hasRelatedWork W2939414589 @default.
- W1571061062 hasVolume "0501" @default.
- W1571061062 isParatext "false" @default.
- W1571061062 isRetracted "false" @default.
- W1571061062 magId "1571061062" @default.
- W1571061062 workType "article" @default.