Tools and Algorithms for the Construction and Analysis of Systems

oleh Dirk Beyer & Marieke Huisman (Eds.)
Terbitan: Springer International Publishing AG Switzerland is part of Springer Science Business Media, 2018