Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini. Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. pages 85-94, IEEE Computer Society, 2005. [doi]
Abstract is missing.