Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes
LICS, 2000.
@inproceedings{LICS-2000-DesharnaisGJP,
author = "Josée Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
booktitle = "{Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2000.855759",
isbn = "0-7695-0725-5",
pages = "95--106",
publisher = "{IEEE Computer Society}",
title = "{Approximating Labeled Markov Processes}",
year = 2000,
}