About this scholarly article

Tools and Algorithms for the Construction and Analysis of Systems Volume 9035 by Baier, Christel; Tinelli, Cesare is a scholarly article available to read on EtoBox.

Author

Baier, Christel; Tinelli, Cesare

Publisher

Springer Berlin Heidelberg

Published

2015