| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A joint moments based analysis of networks of MAP/MAP/1 queues
|
Horváth, András
|
|
2010
|
67 |
9 |
p. 759-778
20 p.
|
artikel
|
| 2 |
Collaboration of discrete-time Markov chains: Tensor and product form
|
Fourneau, J.M.
|
|
2010
|
67 |
9 |
p. 779-796
18 p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
2010
|
67 |
9 |
p. IFC-
1 p.
|
artikel
|
| 4 |
KPC-Toolbox: Best recipes for automatic trace fitting using Markovian Arrival Processes
|
Casale, Giuliano
|
|
2010
|
67 |
9 |
p. 873-896
24 p.
|
artikel
|
| 5 |
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
|
Fecher, Harald
|
|
2010
|
67 |
9 |
p. 858-872
15 p.
|
artikel
|
| 6 |
Product form approximations for communicating Markov processes
|
Buchholz, Peter
|
|
2010
|
67 |
9 |
p. 797-815
19 p.
|
artikel
|
| 7 |
Quasi-Birth–Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
|
Etessami, Kousha
|
|
2010
|
67 |
9 |
p. 837-857
21 p.
|
artikel
|
| 8 |
Special Issue on “Quantitative Evaluation of Systems”
|
Donatelli, Susanna
|
|
2010
|
67 |
9 |
p. 757-758
2 p.
|
artikel
|
| 9 |
Symbolic partition refinement with automatic balancing of time and space
|
Wimmer, Ralf
|
|
2010
|
67 |
9 |
p. 816-836
21 p.
|
artikel
|
Tijdschrift beschrijving