Pubblicazioni
| Autori: | Daniele Codetta Raiteri |
| Giuliana Franceschinis | |
| Marco Gribaudo | |
| Titolo: | Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems |
| Apparso su: | Proceedings of the International Conference on Quantitative Evaluation of Systems |
| Pagine: | 257-258 |
| Editore: | IEEE Computer Society |
| Anno: | 2005 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://dx.doi.org/10.1109/QEST.2005.10 |