Matches in SemOpenAlex for { <https://semopenalex.org/work/W111979852> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W111979852 endingPage "234" @default.
- W111979852 startingPage "220" @default.
- W111979852 created "2016-06-24" @default.
- W111979852 creator A5058847017 @default.
- W111979852 creator A5078463891 @default.
- W111979852 date "2014-01-01" @default.
- W111979852 modified "2023-10-18" @default.
- W111979852 title "Optimising the ProB Model Checker for B Using Partial Order Reduction" @default.
- W111979852 cites W111979852 @default.
- W111979852 cites W1539606702 @default.
- W111979852 cites W1794553731 @default.
- W111979852 cites W1973590197 @default.
- W111979852 cites W1999288406 @default.
- W111979852 cites W2016300863 @default.
- W111979852 cites W2031111226 @default.
- W111979852 cites W2037205044 @default.
- W111979852 cites W2093274105 @default.
- W111979852 cites W2093709900 @default.
- W111979852 cites W2097248142 @default.
- W111979852 cites W4236102081 @default.
- W111979852 cites W4244819751 @default.
- W111979852 cites W4254354208 @default.
- W111979852 doi "https://doi.org/10.1007/978-3-319-10431-7_16" @default.
- W111979852 hasPublicationYear "2014" @default.
- W111979852 type Work @default.
- W111979852 sameAs 111979852 @default.
- W111979852 citedByCount "7" @default.
- W111979852 countsByYear W1119798522014 @default.
- W111979852 countsByYear W1119798522016 @default.
- W111979852 countsByYear W1119798522018 @default.
- W111979852 countsByYear W1119798522023 @default.
- W111979852 crossrefType "book-chapter" @default.
- W111979852 hasAuthorship W111979852A5058847017 @default.
- W111979852 hasAuthorship W111979852A5078463891 @default.
- W111979852 hasConcept C10138342 @default.
- W111979852 hasConcept C105795698 @default.
- W111979852 hasConcept C110251889 @default.
- W111979852 hasConcept C111335779 @default.
- W111979852 hasConcept C11413529 @default.
- W111979852 hasConcept C121332964 @default.
- W111979852 hasConcept C136197465 @default.
- W111979852 hasConcept C151730666 @default.
- W111979852 hasConcept C154945302 @default.
- W111979852 hasConcept C162324750 @default.
- W111979852 hasConcept C171018156 @default.
- W111979852 hasConcept C182306322 @default.
- W111979852 hasConcept C2524010 @default.
- W111979852 hasConcept C2776036281 @default.
- W111979852 hasConcept C2779343474 @default.
- W111979852 hasConcept C2779662365 @default.
- W111979852 hasConcept C33923547 @default.
- W111979852 hasConcept C35651441 @default.
- W111979852 hasConcept C41008148 @default.
- W111979852 hasConcept C62520636 @default.
- W111979852 hasConcept C86803240 @default.
- W111979852 hasConcept C94633896 @default.
- W111979852 hasConceptScore W111979852C10138342 @default.
- W111979852 hasConceptScore W111979852C105795698 @default.
- W111979852 hasConceptScore W111979852C110251889 @default.
- W111979852 hasConceptScore W111979852C111335779 @default.
- W111979852 hasConceptScore W111979852C11413529 @default.
- W111979852 hasConceptScore W111979852C121332964 @default.
- W111979852 hasConceptScore W111979852C136197465 @default.
- W111979852 hasConceptScore W111979852C151730666 @default.
- W111979852 hasConceptScore W111979852C154945302 @default.
- W111979852 hasConceptScore W111979852C162324750 @default.
- W111979852 hasConceptScore W111979852C171018156 @default.
- W111979852 hasConceptScore W111979852C182306322 @default.
- W111979852 hasConceptScore W111979852C2524010 @default.
- W111979852 hasConceptScore W111979852C2776036281 @default.
- W111979852 hasConceptScore W111979852C2779343474 @default.
- W111979852 hasConceptScore W111979852C2779662365 @default.
- W111979852 hasConceptScore W111979852C33923547 @default.
- W111979852 hasConceptScore W111979852C35651441 @default.
- W111979852 hasConceptScore W111979852C41008148 @default.
- W111979852 hasConceptScore W111979852C62520636 @default.
- W111979852 hasConceptScore W111979852C86803240 @default.
- W111979852 hasConceptScore W111979852C94633896 @default.
- W111979852 hasLocation W1119798521 @default.
- W111979852 hasOpenAccess W111979852 @default.
- W111979852 hasPrimaryLocation W1119798521 @default.
- W111979852 hasRelatedWork W111979852 @default.
- W111979852 hasRelatedWork W1535497513 @default.
- W111979852 hasRelatedWork W1546995467 @default.
- W111979852 hasRelatedWork W1868864221 @default.
- W111979852 hasRelatedWork W2068210046 @default.
- W111979852 hasRelatedWork W2145727812 @default.
- W111979852 hasRelatedWork W2295263482 @default.
- W111979852 hasRelatedWork W2347356152 @default.
- W111979852 hasRelatedWork W2378602799 @default.
- W111979852 hasRelatedWork W2527288790 @default.
- W111979852 isParatext "false" @default.
- W111979852 isRetracted "false" @default.
- W111979852 magId "111979852" @default.
- W111979852 workType "book-chapter" @default.