Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300530152> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4300530152 created "2022-10-03" @default.
- W4300530152 creator A5019190547 @default.
- W4300530152 creator A5059964100 @default.
- W4300530152 creator A5081710233 @default.
- W4300530152 date "2011-01-01" @default.
- W4300530152 modified "2023-10-18" @default.
- W4300530152 title "Partial order reduction for model checking Markov decision processes under unconditional fairness" @default.
- W4300530152 hasPublicationYear "2011" @default.
- W4300530152 type Work @default.
- W4300530152 citedByCount "0" @default.
- W4300530152 crossrefType "proceedings-article" @default.
- W4300530152 hasAuthorship W4300530152A5019190547 @default.
- W4300530152 hasAuthorship W4300530152A5059964100 @default.
- W4300530152 hasAuthorship W4300530152A5081710233 @default.
- W4300530152 hasBestOaLocation W43005301521 @default.
- W4300530152 hasConcept C10138342 @default.
- W4300530152 hasConcept C105795698 @default.
- W4300530152 hasConcept C106189395 @default.
- W4300530152 hasConcept C110251889 @default.
- W4300530152 hasConcept C111335779 @default.
- W4300530152 hasConcept C119857082 @default.
- W4300530152 hasConcept C126255220 @default.
- W4300530152 hasConcept C159886148 @default.
- W4300530152 hasConcept C162324750 @default.
- W4300530152 hasConcept C163836022 @default.
- W4300530152 hasConcept C182306322 @default.
- W4300530152 hasConcept C2524010 @default.
- W4300530152 hasConcept C33923547 @default.
- W4300530152 hasConcept C41008148 @default.
- W4300530152 hasConcept C80444323 @default.
- W4300530152 hasConcept C94633896 @default.
- W4300530152 hasConcept C98763669 @default.
- W4300530152 hasConceptScore W4300530152C10138342 @default.
- W4300530152 hasConceptScore W4300530152C105795698 @default.
- W4300530152 hasConceptScore W4300530152C106189395 @default.
- W4300530152 hasConceptScore W4300530152C110251889 @default.
- W4300530152 hasConceptScore W4300530152C111335779 @default.
- W4300530152 hasConceptScore W4300530152C119857082 @default.
- W4300530152 hasConceptScore W4300530152C126255220 @default.
- W4300530152 hasConceptScore W4300530152C159886148 @default.
- W4300530152 hasConceptScore W4300530152C162324750 @default.
- W4300530152 hasConceptScore W4300530152C163836022 @default.
- W4300530152 hasConceptScore W4300530152C182306322 @default.
- W4300530152 hasConceptScore W4300530152C2524010 @default.
- W4300530152 hasConceptScore W4300530152C33923547 @default.
- W4300530152 hasConceptScore W4300530152C41008148 @default.
- W4300530152 hasConceptScore W4300530152C80444323 @default.
- W4300530152 hasConceptScore W4300530152C94633896 @default.
- W4300530152 hasConceptScore W4300530152C98763669 @default.
- W4300530152 hasLocation W43005301521 @default.
- W4300530152 hasLocation W43005301522 @default.
- W4300530152 hasOpenAccess W4300530152 @default.
- W4300530152 hasPrimaryLocation W43005301521 @default.
- W4300530152 hasRelatedWork W1523442991 @default.
- W4300530152 hasRelatedWork W1545972740 @default.
- W4300530152 hasRelatedWork W1546995467 @default.
- W4300530152 hasRelatedWork W1573151257 @default.
- W4300530152 hasRelatedWork W1791159949 @default.
- W4300530152 hasRelatedWork W1868864221 @default.
- W4300530152 hasRelatedWork W1965309410 @default.
- W4300530152 hasRelatedWork W1973954352 @default.
- W4300530152 hasRelatedWork W2906490148 @default.
- W4300530152 hasRelatedWork W3147623613 @default.
- W4300530152 isParatext "false" @default.
- W4300530152 isRetracted "false" @default.
- W4300530152 workType "article" @default.