Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214926706> ?p ?o ?g. }
- W4214926706 created "2022-03-05" @default.
- W4214926706 creator A5003402944 @default.
- W4214926706 creator A5023363049 @default.
- W4214926706 creator A5027361366 @default.
- W4214926706 date "2022-03-02" @default.
- W4214926706 modified "2023-10-06" @default.
- W4214926706 title "A three-valued model abstraction framework for PCTL* stochastic model checking" @default.
- W4214926706 cites W100229751 @default.
- W4214926706 cites W103774727 @default.
- W4214926706 cites W139143222 @default.
- W4214926706 cites W1481528147 @default.
- W4214926706 cites W1497573972 @default.
- W4214926706 cites W1528441743 @default.
- W4214926706 cites W1536007121 @default.
- W4214926706 cites W1547562281 @default.
- W4214926706 cites W1550039437 @default.
- W4214926706 cites W1577626490 @default.
- W4214926706 cites W1596602992 @default.
- W4214926706 cites W1603153151 @default.
- W4214926706 cites W16120781 @default.
- W4214926706 cites W1704074244 @default.
- W4214926706 cites W1801185978 @default.
- W4214926706 cites W1810681804 @default.
- W4214926706 cites W1850679117 @default.
- W4214926706 cites W1862398452 @default.
- W4214926706 cites W1869716833 @default.
- W4214926706 cites W1934074768 @default.
- W4214926706 cites W1964116449 @default.
- W4214926706 cites W1972065960 @default.
- W4214926706 cites W1976268573 @default.
- W4214926706 cites W1984957636 @default.
- W4214926706 cites W1998422337 @default.
- W4214926706 cites W1998779352 @default.
- W4214926706 cites W2006553351 @default.
- W4214926706 cites W2030935018 @default.
- W4214926706 cites W2031470941 @default.
- W4214926706 cites W2037667383 @default.
- W4214926706 cites W2048340696 @default.
- W4214926706 cites W2052092737 @default.
- W4214926706 cites W2068361557 @default.
- W4214926706 cites W2080593426 @default.
- W4214926706 cites W2088501121 @default.
- W4214926706 cites W2098245493 @default.
- W4214926706 cites W2108898597 @default.
- W4214926706 cites W2111765806 @default.
- W4214926706 cites W2114710208 @default.
- W4214926706 cites W2115555017 @default.
- W4214926706 cites W2127574686 @default.
- W4214926706 cites W2130793115 @default.
- W4214926706 cites W2137865376 @default.
- W4214926706 cites W2139324000 @default.
- W4214926706 cites W2143784257 @default.
- W4214926706 cites W2148745480 @default.
- W4214926706 cites W2154905642 @default.
- W4214926706 cites W2160960583 @default.
- W4214926706 cites W2166422915 @default.
- W4214926706 cites W2295562750 @default.
- W4214926706 cites W2302717412 @default.
- W4214926706 cites W2345422704 @default.
- W4214926706 cites W2625519638 @default.
- W4214926706 cites W2737311341 @default.
- W4214926706 cites W2761295607 @default.
- W4214926706 cites W2785236715 @default.
- W4214926706 cites W2790309851 @default.
- W4214926706 cites W2799242129 @default.
- W4214926706 cites W2905381478 @default.
- W4214926706 cites W2912640545 @default.
- W4214926706 cites W2913788705 @default.
- W4214926706 cites W2916826920 @default.
- W4214926706 cites W2932200608 @default.
- W4214926706 cites W2944963859 @default.
- W4214926706 cites W2951796861 @default.
- W4214926706 cites W2954171600 @default.
- W4214926706 cites W2962910777 @default.
- W4214926706 cites W2967639977 @default.
- W4214926706 cites W2979774998 @default.
- W4214926706 cites W2981423273 @default.
- W4214926706 cites W2981680275 @default.
- W4214926706 cites W2989068089 @default.
- W4214926706 cites W2995951356 @default.
- W4214926706 cites W3002022654 @default.
- W4214926706 cites W3019187101 @default.
- W4214926706 cites W3042980517 @default.
- W4214926706 cites W3046712683 @default.
- W4214926706 cites W3047975027 @default.
- W4214926706 cites W3096170609 @default.
- W4214926706 cites W3098133185 @default.
- W4214926706 cites W3124931799 @default.
- W4214926706 cites W3184008713 @default.
- W4214926706 cites W4205623878 @default.
- W4214926706 cites W4235088814 @default.
- W4214926706 cites W4238122987 @default.
- W4214926706 cites W4238710424 @default.
- W4214926706 cites W477134 @default.
- W4214926706 cites W2117337678 @default.
- W4214926706 doi "https://doi.org/10.1007/s10515-022-00327-z" @default.
- W4214926706 hasPublicationYear "2022" @default.
- W4214926706 type Work @default.
- W4214926706 citedByCount "0" @default.
- W4214926706 crossrefType "journal-article" @default.