Ramakrishnan - Tools and Algorithms for the Construction and Analysis - X555z

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

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

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

Cleaveland - Tools and Algorithms for the Construction of Analysis of - X555z

Kowalewski - Tools and Algorithms for the Construction and Analysis of - X555z

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

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