@inproceedings{d349c76d83c244caa5fc1589b1f9bfa4,
title = "A framework to design and solve Markov decision well-formed net models",
author = "M. Beccuti and D. Codetta-Raiteri and G. Franceschinis and Serge Haddad",
year = "2007",
doi = "10.1109/qest.2007.32",
language = "English",
isbn = "076952883X",
series = "Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007",
publisher = "IEEE Computer Society",
pages = "165--166",
booktitle = "Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007",
address = "United States",
note = "4th International Conference on the Quantitative Evaluation of Systems, QEST 2007 ; Conference date: 17-09-2007 Through 19-09-2007",
}