%0 Book
%A \ Christel Baier, Cesare Tinelli (eds.)
%T Tools and Algorithms for the Construction and Analysis of Systems
%U /book/88359277/Tools-and-Algorithms-for-the-Construction-and-Anal/