-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Model Checking Markov Chains with Actions and State Labels
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
11
-
12
POSTERS: CLINICAL THERAPEUTICS/NEW TECHNOLOGY-TREATMENT OF INSULIN RESISTANCE
Veröffentlicht in Diabetes (New York, N.Y.)
VolltextArtikel -
13
-
14