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 |