Mariacarla Calzarossa;Salvatore Tucci
-;-
Queueing networks
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation