@inproceedings{2c909692a7134ff188a1430040e1f308,
title = "Approximate reasoning for real-time probabilistic processes",
author = "Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
year = "2004",
doi = "10.1109/QEST.2004.1348044",
language = "English",
isbn = "0769521851",
series = "Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004",
pages = "304--313",
booktitle = "Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004",
note = "Proceedings - First International Conference on the Quantitave Evaluation of Systems, QEST 2004 ; Conference date: 27-09-2004 Through 30-09-2004",
}