Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems
| Title | Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems |
| Publication Type | Journal Article |
| Year of Publication | 2003 |
| Authors | D'Argenio, PR, Baeten, JCM |
| Journal | J. Log. Algebr. Program. |
| Volume | 56 |
| Pagination | 1-2 |
| DOI | 10.1016/S1567-8326(02)00064-4 |