%0 Book
%A  Dirk Beyer, Marieke Huisman (eds.).
%T Tools and algorithms for the construction and analysis of systems :
%U /book/90233050/Tools-and-algorithms-for-the-construction-and-anal/