Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
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
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland