Bengt Jonsson, Kim Guldstrand Larsen
Specification and Refinement of Probabilistic Processes
LICS, 1991.
@inproceedings{LICS-1991-JonssonL,
author = "Bengt Jonsson and Kim Guldstrand Larsen",
booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1991.151651",
isbn = "0-8186-2230-X",
pages = "266--277",
publisher = "{IEEE Computer Society}",
title = "{Specification and Refinement of Probabilistic Processes}",
year = 1991,
}