Matches in SemOpenAlex for { <https://semopenalex.org/work/W38834710> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W38834710 abstract "We propose a distributed algorithm for model-checking LTL formulas that works on a network of workstations and effectively uses the decomposition of the formula automaton to strongly connected components to achieve more efficient distribution of the verification problem. In particular, we explore the possibility of performing a distributed nested depth-first search algorithm." @default.
- W38834710 created "2016-06-24" @default.
- W38834710 creator A5085421461 @default.
- W38834710 date "2002-01-01" @default.
- W38834710 modified "2023-09-26" @default.
- W38834710 title "How to Distribute LTL Model-Checking Using Decomposition of Negative Claim Automaton" @default.
- W38834710 cites W1483156373 @default.
- W38834710 cites W1548575501 @default.
- W38834710 cites W2115309705 @default.
- W38834710 cites W2139808952 @default.
- W38834710 cites W2341786271 @default.
- W38834710 cites W2488874620 @default.
- W38834710 hasPublicationYear "2002" @default.
- W38834710 type Work @default.
- W38834710 sameAs 38834710 @default.
- W38834710 citedByCount "1" @default.
- W38834710 crossrefType "journal-article" @default.
- W38834710 hasAuthorship W38834710A5085421461 @default.
- W38834710 hasConcept C110251889 @default.
- W38834710 hasConcept C111919701 @default.
- W38834710 hasConcept C112505250 @default.
- W38834710 hasConcept C11413529 @default.
- W38834710 hasConcept C124681953 @default.
- W38834710 hasConcept C165753454 @default.
- W38834710 hasConcept C18903297 @default.
- W38834710 hasConcept C194525867 @default.
- W38834710 hasConcept C41008148 @default.
- W38834710 hasConcept C67953723 @default.
- W38834710 hasConcept C80444323 @default.
- W38834710 hasConcept C86803240 @default.
- W38834710 hasConceptScore W38834710C110251889 @default.
- W38834710 hasConceptScore W38834710C111919701 @default.
- W38834710 hasConceptScore W38834710C112505250 @default.
- W38834710 hasConceptScore W38834710C11413529 @default.
- W38834710 hasConceptScore W38834710C124681953 @default.
- W38834710 hasConceptScore W38834710C165753454 @default.
- W38834710 hasConceptScore W38834710C18903297 @default.
- W38834710 hasConceptScore W38834710C194525867 @default.
- W38834710 hasConceptScore W38834710C41008148 @default.
- W38834710 hasConceptScore W38834710C67953723 @default.
- W38834710 hasConceptScore W38834710C80444323 @default.
- W38834710 hasConceptScore W38834710C86803240 @default.
- W38834710 hasLocation W388347101 @default.
- W38834710 hasOpenAccess W38834710 @default.
- W38834710 hasPrimaryLocation W388347101 @default.
- W38834710 hasRelatedWork W1525879420 @default.
- W38834710 hasRelatedWork W1565492074 @default.
- W38834710 hasRelatedWork W1617552349 @default.
- W38834710 hasRelatedWork W1997450827 @default.
- W38834710 hasRelatedWork W2012935476 @default.
- W38834710 hasRelatedWork W2029426531 @default.
- W38834710 hasRelatedWork W2095620890 @default.
- W38834710 hasRelatedWork W2487186542 @default.
- W38834710 hasRelatedWork W2515069250 @default.
- W38834710 hasRelatedWork W2521432080 @default.
- W38834710 hasRelatedWork W2607319504 @default.
- W38834710 hasRelatedWork W2803173746 @default.
- W38834710 hasRelatedWork W2804291498 @default.
- W38834710 hasRelatedWork W2884525686 @default.
- W38834710 hasRelatedWork W2913325211 @default.
- W38834710 hasRelatedWork W2952830471 @default.
- W38834710 hasRelatedWork W2958210738 @default.
- W38834710 hasRelatedWork W2971633023 @default.
- W38834710 hasRelatedWork W2981945897 @default.
- W38834710 hasRelatedWork W3147993740 @default.
- W38834710 isParatext "false" @default.
- W38834710 isRetracted "false" @default.
- W38834710 magId "38834710" @default.
- W38834710 workType "article" @default.