Italiano (Italian) English (Inglese)
Thursday, 28 March 2024

Publications

Back
Pubblication Details
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