Matches in SemOpenAlex for { <https://semopenalex.org/work/W3045618063> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3045618063 endingPage "1375" @default.
- W3045618063 startingPage "1367" @default.
- W3045618063 created "2020-08-03" @default.
- W3045618063 creator A5003753318 @default.
- W3045618063 date "2004-01-01" @default.
- W3045618063 modified "2023-09-23" @default.
- W3045618063 title "Probabilistic Timed Bisimulation Relation and Its Preservation of Probabilistic Timed CTL Formulas of Real-time Systems with Discrete Probability Distributions" @default.
- W3045618063 hasPublicationYear "2004" @default.
- W3045618063 type Work @default.
- W3045618063 sameAs 3045618063 @default.
- W3045618063 citedByCount "0" @default.
- W3045618063 crossrefType "journal-article" @default.
- W3045618063 hasAuthorship W3045618063A5003753318 @default.
- W3045618063 hasConcept C105795698 @default.
- W3045618063 hasConcept C11413529 @default.
- W3045618063 hasConcept C118615104 @default.
- W3045618063 hasConcept C124101348 @default.
- W3045618063 hasConcept C135315306 @default.
- W3045618063 hasConcept C149441793 @default.
- W3045618063 hasConcept C25343380 @default.
- W3045618063 hasConcept C33923547 @default.
- W3045618063 hasConcept C41008148 @default.
- W3045618063 hasConcept C49937458 @default.
- W3045618063 hasConcept C80444323 @default.
- W3045618063 hasConceptScore W3045618063C105795698 @default.
- W3045618063 hasConceptScore W3045618063C11413529 @default.
- W3045618063 hasConceptScore W3045618063C118615104 @default.
- W3045618063 hasConceptScore W3045618063C124101348 @default.
- W3045618063 hasConceptScore W3045618063C135315306 @default.
- W3045618063 hasConceptScore W3045618063C149441793 @default.
- W3045618063 hasConceptScore W3045618063C25343380 @default.
- W3045618063 hasConceptScore W3045618063C33923547 @default.
- W3045618063 hasConceptScore W3045618063C41008148 @default.
- W3045618063 hasConceptScore W3045618063C49937458 @default.
- W3045618063 hasConceptScore W3045618063C80444323 @default.
- W3045618063 hasIssue "5" @default.
- W3045618063 hasLocation W30456180631 @default.
- W3045618063 hasOpenAccess W3045618063 @default.
- W3045618063 hasPrimaryLocation W30456180631 @default.
- W3045618063 hasRelatedWork W1180558209 @default.
- W3045618063 hasRelatedWork W1538192045 @default.
- W3045618063 hasRelatedWork W1824334818 @default.
- W3045618063 hasRelatedWork W2039139411 @default.
- W3045618063 hasRelatedWork W2098737431 @default.
- W3045618063 hasRelatedWork W2295266283 @default.
- W3045618063 hasRelatedWork W2296309018 @default.
- W3045618063 hasRelatedWork W2541482137 @default.
- W3045618063 hasRelatedWork W2574450880 @default.
- W3045618063 hasRelatedWork W2584554135 @default.
- W3045618063 hasRelatedWork W2615250133 @default.
- W3045618063 hasRelatedWork W2766808405 @default.
- W3045618063 hasRelatedWork W2987251847 @default.
- W3045618063 hasRelatedWork W3000581817 @default.
- W3045618063 hasRelatedWork W3028746955 @default.
- W3045618063 hasRelatedWork W3104838769 @default.
- W3045618063 hasRelatedWork W4529005 @default.
- W3045618063 hasRelatedWork W659627318 @default.
- W3045618063 hasRelatedWork W90591307 @default.
- W3045618063 hasRelatedWork W1802780019 @default.
- W3045618063 hasVolume "45" @default.
- W3045618063 isParatext "false" @default.
- W3045618063 isRetracted "false" @default.
- W3045618063 magId "3045618063" @default.
- W3045618063 workType "article" @default.