Publications
| Authors: | Daniele Codetta Raiteri |
| Giuliana Franceschinis | |
| Marco Gribaudo | |
| Title: | Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems |
| Published on: | Proceedings of the International Conference on Quantitative Evaluation of Systems |
| Pages: | 257-258 |
| Publisher: | IEEE Computer Society |
| Year: | 2005 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://dx.doi.org/10.1109/QEST.2005.10 |