Jounaïdi Ben Hassen, Sofiène Tahar
On the numerical verification of probabilistic rewriting systems
DATE, 2006.
@inproceedings{DATE-2006-HassenT,
author = "Jounaïdi Ben Hassen and Sofiène Tahar",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131819",
pages = "1223--1224",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{On the numerical verification of probabilistic rewriting systems}",
year = 2006,
}