@inproceedings{2abe31463ea040a5ba3df661f1e26143,
title = "Mixing up nondeterminism and probability : a preliminary report",
author = "{Hartog, den}, J.I. and {Vink, de}, E.P.",
year = "1998",
doi = "10.1016/S1571-0661(05)82521-6",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "88--110",
editor = "C. Baier",
booktitle = "Proceedings of the 1st International Workshop on Probabilistic Methods in Verification (PROBMIV '98, Indianapolis IN, USA, June 19-20, 1998; satellite event to the 13th International IEEE Symposium on Logic in Computer Science, LICS '98)",
}