Enrico Vicario

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings...

Analysis of Queueing Networks with Blocking

Analytical and Stochastic Modeling Techniques and Applications: 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Revised Papers