FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148384577> ?p ?o ?g. }

• W2148384577 endingPage "211" @default.
• W2148384577 startingPage "195" @default.
• W2148384577 abstract "We propose to exploit three-valued abstraction to stochastic systems in a compositional way. This combines the strengths of an aggressive state-based abstraction technique with compositional modeling. Applying this principle to interactive Markov chains yields abstract models that combine interval Markov chains and modal transition systems in a natural and orthogonal way. We prove the correctness of our technique for parallel and symmetric composition and show that it yields lower bounds for minimal and upper bounds for maximal timed reachability probabilities." @default.
• W2148384577 created "2016-06-24" @default.
• W2148384577 creator A5053500064 @default.
• W2148384577 creator A5085170185 @default.
• W2148384577 creator A5090819329 @default.
• W2148384577 date "2009-01-01" @default.
• W2148384577 modified "2023-10-17" @default.
• W2148384577 title "Compositional Abstraction for Stochastic Systems" @default.
• W2148384577 cites W1492158240 @default.
• W2148384577 cites W1497573972 @default.
• W2148384577 cites W1498004481 @default.
• W2148384577 cites W1543797207 @default.
• W2148384577 cites W1551707370 @default.
• W2148384577 cites W2126438238 @default.
• W2148384577 cites W2128953183 @default.
• W2148384577 cites W2130429899 @default.
• W2148384577 cites W2130793115 @default.
• W2148384577 cites W2139324000 @default.
• W2148384577 cites W2152342144 @default.
• W2148384577 cites W2157239333 @default.
• W2148384577 cites W2160136100 @default.
• W2148384577 cites W2161926614 @default.
• W2148384577 cites W2167302242 @default.
• W2148384577 cites W2169614829 @default.
• W2148384577 cites W2170306229 @default.
• W2148384577 cites W2913788705 @default.
• W2148384577 cites W2914011863 @default.
• W2148384577 cites W4206542816 @default.
• W2148384577 cites W1509617869 @default.
• W2148384577 doi "https://doi.org/10.1007/978-3-642-04368-0_16" @default.
• W2148384577 hasPublicationYear "2009" @default.
• W2148384577 type Work @default.
• W2148384577 sameAs 2148384577 @default.
• W2148384577 citedByCount "37" @default.
• W2148384577 countsByYear W21483845772012 @default.
• W2148384577 countsByYear W21483845772013 @default.
• W2148384577 countsByYear W21483845772014 @default.
• W2148384577 countsByYear W21483845772015 @default.
• W2148384577 countsByYear W21483845772016 @default.
• W2148384577 countsByYear W21483845772020 @default.
• W2148384577 countsByYear W21483845772023 @default.
• W2148384577 crossrefType "book-chapter" @default.
• W2148384577 hasAuthorship W2148384577A5053500064 @default.
• W2148384577 hasAuthorship W2148384577A5085170185 @default.
• W2148384577 hasAuthorship W2148384577A5090819329 @default.
• W2148384577 hasBestOaLocation W21483845772 @default.
• W2148384577 hasConcept C110251889 @default.
• W2148384577 hasConcept C111472728 @default.
• W2148384577 hasConcept C11413529 @default.
• W2148384577 hasConcept C114614502 @default.
• W2148384577 hasConcept C119857082 @default.
• W2148384577 hasConcept C124304363 @default.
• W2148384577 hasConcept C134306372 @default.
• W2148384577 hasConcept C136643341 @default.
• W2148384577 hasConcept C138885662 @default.
• W2148384577 hasConcept C165696696 @default.
• W2148384577 hasConcept C2778067643 @default.
• W2148384577 hasConcept C33923547 @default.
• W2148384577 hasConcept C38652104 @default.
• W2148384577 hasConcept C41008148 @default.
• W2148384577 hasConcept C55439883 @default.
• W2148384577 hasConcept C77553402 @default.
• W2148384577 hasConcept C80444323 @default.
• W2148384577 hasConcept C98763669 @default.
• W2148384577 hasConceptScore W2148384577C110251889 @default.
• W2148384577 hasConceptScore W2148384577C111472728 @default.
• W2148384577 hasConceptScore W2148384577C11413529 @default.
• W2148384577 hasConceptScore W2148384577C114614502 @default.
• W2148384577 hasConceptScore W2148384577C119857082 @default.
• W2148384577 hasConceptScore W2148384577C124304363 @default.
• W2148384577 hasConceptScore W2148384577C134306372 @default.
• W2148384577 hasConceptScore W2148384577C136643341 @default.
• W2148384577 hasConceptScore W2148384577C138885662 @default.
• W2148384577 hasConceptScore W2148384577C165696696 @default.
• W2148384577 hasConceptScore W2148384577C2778067643 @default.
• W2148384577 hasConceptScore W2148384577C33923547 @default.
• W2148384577 hasConceptScore W2148384577C38652104 @default.
• W2148384577 hasConceptScore W2148384577C41008148 @default.
• W2148384577 hasConceptScore W2148384577C55439883 @default.
• W2148384577 hasConceptScore W2148384577C77553402 @default.
• W2148384577 hasConceptScore W2148384577C80444323 @default.
• W2148384577 hasConceptScore W2148384577C98763669 @default.
• W2148384577 hasLocation W21483845771 @default.
• W2148384577 hasLocation W21483845772 @default.
• W2148384577 hasOpenAccess W2148384577 @default.
• W2148384577 hasPrimaryLocation W21483845771 @default.
• W2148384577 hasRelatedWork W1600235415 @default.
• W2148384577 hasRelatedWork W1866043924 @default.
• W2148384577 hasRelatedWork W1994348879 @default.
• W2148384577 hasRelatedWork W2162248491 @default.
• W2148384577 hasRelatedWork W2296663577 @default.
• W2148384577 hasRelatedWork W2977922564 @default.
• W2148384577 hasRelatedWork W4287205805 @default.
• W2148384577 hasRelatedWork W970178447 @default.
• W2148384577 hasRelatedWork W2610540209 @default.
• W2148384577 hasRelatedWork W2611025373 @default.
• W2148384577 isParatext "false" @default.
• W2148384577 isRetracted "false" @default.

• next