Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
- Marco Gribaudo
- , Daniele Codetta-Raiteri
- , Giuliana Franceschinis
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review