Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567688329> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1567688329 abstract "When analysing a concurrent program in order to verify its correctness, in practice, one faces severe complexity problems. To cope with the problem of state-space explosion, two different types of approaches have been established: abstraction techniques and partialorder methods that both have certain drawbacks. To overcome these drawbacks we show in this paper how to combine abstraction with the persistent-set selective search partial-order method." @default.
- W1567688329 created "2016-06-24" @default.
- W1567688329 creator A5037228059 @default.
- W1567688329 date "1999-01-01" @default.
- W1567688329 modified "2023-10-07" @default.
- W1567688329 title "A persistent-Set Approach to Abstract State-Space Construction in Verification" @default.
- W1567688329 cites W1529497146 @default.
- W1567688329 cites W1608032220 @default.
- W1567688329 cites W1968552123 @default.
- W1567688329 cites W2003645238 @default.
- W1567688329 cites W2026533872 @default.
- W1567688329 cites W2048230495 @default.
- W1567688329 cites W2048719119 @default.
- W1567688329 cites W2114092850 @default.
- W1567688329 cites W2914206182 @default.
- W1567688329 cites W4246017475 @default.
- W1567688329 doi "https://doi.org/10.1007/3-540-47849-3_35" @default.
- W1567688329 hasPublicationYear "1999" @default.
- W1567688329 type Work @default.
- W1567688329 sameAs 1567688329 @default.
- W1567688329 citedByCount "0" @default.
- W1567688329 crossrefType "book-chapter" @default.
- W1567688329 hasAuthorship W1567688329A5037228059 @default.
- W1567688329 hasConcept C105795698 @default.
- W1567688329 hasConcept C110251889 @default.
- W1567688329 hasConcept C111472728 @default.
- W1567688329 hasConcept C111498074 @default.
- W1567688329 hasConcept C124304363 @default.
- W1567688329 hasConcept C138885662 @default.
- W1567688329 hasConcept C177264268 @default.
- W1567688329 hasConcept C199360897 @default.
- W1567688329 hasConcept C33923547 @default.
- W1567688329 hasConcept C41008148 @default.
- W1567688329 hasConcept C55439883 @default.
- W1567688329 hasConcept C72434380 @default.
- W1567688329 hasConcept C80444323 @default.
- W1567688329 hasConcept C94633896 @default.
- W1567688329 hasConceptScore W1567688329C105795698 @default.
- W1567688329 hasConceptScore W1567688329C110251889 @default.
- W1567688329 hasConceptScore W1567688329C111472728 @default.
- W1567688329 hasConceptScore W1567688329C111498074 @default.
- W1567688329 hasConceptScore W1567688329C124304363 @default.
- W1567688329 hasConceptScore W1567688329C138885662 @default.
- W1567688329 hasConceptScore W1567688329C177264268 @default.
- W1567688329 hasConceptScore W1567688329C199360897 @default.
- W1567688329 hasConceptScore W1567688329C33923547 @default.
- W1567688329 hasConceptScore W1567688329C41008148 @default.
- W1567688329 hasConceptScore W1567688329C55439883 @default.
- W1567688329 hasConceptScore W1567688329C72434380 @default.
- W1567688329 hasConceptScore W1567688329C80444323 @default.
- W1567688329 hasConceptScore W1567688329C94633896 @default.
- W1567688329 hasLocation W15676883291 @default.
- W1567688329 hasOpenAccess W1567688329 @default.
- W1567688329 hasPrimaryLocation W15676883291 @default.
- W1567688329 hasRelatedWork W1510110859 @default.
- W1567688329 hasRelatedWork W1526111926 @default.
- W1567688329 hasRelatedWork W1540741945 @default.
- W1567688329 hasRelatedWork W1557009147 @default.
- W1567688329 hasRelatedWork W1836717328 @default.
- W1567688329 hasRelatedWork W1988316905 @default.
- W1567688329 hasRelatedWork W1994971461 @default.
- W1567688329 hasRelatedWork W2098478828 @default.
- W1567688329 hasRelatedWork W2108824981 @default.
- W1567688329 hasRelatedWork W2162648777 @default.
- W1567688329 hasRelatedWork W2169394138 @default.
- W1567688329 hasRelatedWork W3033746640 @default.
- W1567688329 hasRelatedWork W3037829012 @default.
- W1567688329 hasRelatedWork W1526792789 @default.
- W1567688329 hasRelatedWork W2513672336 @default.
- W1567688329 hasRelatedWork W2522085160 @default.
- W1567688329 hasRelatedWork W2614778138 @default.
- W1567688329 hasRelatedWork W2730883564 @default.
- W1567688329 hasRelatedWork W2791791202 @default.
- W1567688329 hasRelatedWork W2792449386 @default.
- W1567688329 isParatext "false" @default.
- W1567688329 isRetracted "false" @default.
- W1567688329 magId "1567688329" @default.
- W1567688329 workType "book-chapter" @default.