Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301295537> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W4301295537 created "2022-10-05" @default.
- W4301295537 creator A5005087679 @default.
- W4301295537 creator A5055526112 @default.
- W4301295537 creator A5062975660 @default.
- W4301295537 creator A5074372185 @default.
- W4301295537 creator A5085080319 @default.
- W4301295537 date "2012-07-07" @default.
- W4301295537 modified "2023-09-27" @default.
- W4301295537 title "Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems" @default.
- W4301295537 hasPublicationYear "2012" @default.
- W4301295537 type Work @default.
- W4301295537 citedByCount "0" @default.
- W4301295537 crossrefType "proceedings-article" @default.
- W4301295537 hasAuthorship W4301295537A5005087679 @default.
- W4301295537 hasAuthorship W4301295537A5055526112 @default.
- W4301295537 hasAuthorship W4301295537A5062975660 @default.
- W4301295537 hasAuthorship W4301295537A5074372185 @default.
- W4301295537 hasAuthorship W4301295537A5085080319 @default.
- W4301295537 hasBestOaLocation W43012955371 @default.
- W4301295537 hasConcept C110251889 @default.
- W4301295537 hasConcept C11413529 @default.
- W4301295537 hasConcept C165464430 @default.
- W4301295537 hasConcept C173608175 @default.
- W4301295537 hasConcept C199360897 @default.
- W4301295537 hasConcept C41008148 @default.
- W4301295537 hasConceptScore W4301295537C110251889 @default.
- W4301295537 hasConceptScore W4301295537C11413529 @default.
- W4301295537 hasConceptScore W4301295537C165464430 @default.
- W4301295537 hasConceptScore W4301295537C173608175 @default.
- W4301295537 hasConceptScore W4301295537C199360897 @default.
- W4301295537 hasConceptScore W4301295537C41008148 @default.
- W4301295537 hasLocation W43012955371 @default.
- W4301295537 hasLocation W43012955372 @default.
- W4301295537 hasOpenAccess W4301295537 @default.
- W4301295537 hasPrimaryLocation W43012955371 @default.
- W4301295537 hasRelatedWork W1479736339 @default.
- W4301295537 hasRelatedWork W1583364777 @default.
- W4301295537 hasRelatedWork W1599483650 @default.
- W4301295537 hasRelatedWork W1984334968 @default.
- W4301295537 hasRelatedWork W2138161962 @default.
- W4301295537 hasRelatedWork W2151898527 @default.
- W4301295537 hasRelatedWork W2802859609 @default.
- W4301295537 hasRelatedWork W47563837 @default.
- W4301295537 hasRelatedWork W63992065 @default.
- W4301295537 hasRelatedWork W1894736207 @default.
- W4301295537 isParatext "false" @default.
- W4301295537 isRetracted "false" @default.
- W4301295537 workType "article" @default.