|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algebraic theory of probabilistic processes |
Núñez, Manuel |
2003 |
56 | 1-2 |
p. 117-177 61 p. |
artikel |
|
| 2 | Author index - Volume 56 |
2003 |
56 | 1-2 |
p. 179- 1 p. |
artikel |
||
| 3 | Contents |
2003 |
56 | 1-2 |
p. v- 1 p. |
artikel |
||
| 4 | Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes |
Desharnais, Josée |
2003 |
56 | 1-2 |
p. 99-115 17 p. |
artikel |
|
| 5 | Editorial board |
2003 |
56 | 1-2 |
p. IFC- 1 p. |
artikel |
||
| 6 | Guest editors’ introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems |
D’Argenio, P.R. |
2003 |
56 | 1-2 |
p. 1-2 2 p. |
artikel |
|
| 7 | Model-checking large structured Markov chains |
Buchholz, Peter |
2003 |
56 | 1-2 |
p. 69-97 29 p. |
artikel |
|
| 8 | On the use of MTBDDs for performability analysis and verification of stochastic systems |
Hermanns, Holger |
2003 |
56 | 1-2 |
p. 23-67 45 p. |
artikel |
|
| 9 | Subject index - Volume 56 |
2003 |
56 | 1-2 |
p. 181- 1 p. |
artikel |
||
| 10 | Verification of the Miller–Rabin probabilistic primality test |
Hurd, Joe |
2003 |
56 | 1-2 |
p. 3-21 19 p. |
artikel |
10 gevonden resultaten