Intelligent Algorithms for Analysis and Control of Dynamical ... - 9789811580444

Tempo - Randomized Algorithms for Analysis and Control of Uncertain Sy - X555z

Brinksma - Tools and Algorithms for the Construction and Analysis of S - X555z

Intelligent Algorithms for Analysis and Control of Dynamical ... - 9789811580475

Piterman - Tools and Algorithms for the Construction and Analysis of S - X555z

Margaria - Tools and Algorithms for the Construction and Analysis of S - X555z

Hermanns - Tools and Algorithms for the Construction and Analysis of S - X555z

Steffen - Tools and Algorithms for the Construction and Analysis of Sy - X555z