2024
2023
- Software tools for analysis and synthesis of stochastic systems with high availability (XVIII) pp. 18-34
- Software tools for analysis and synthesis of stochastic systems with high availability (XVII) pp. 5-24
- Software tools for analysis and synthesis of stochastic systems with high availability (XVII) pp. 5-24
