Tools and Algorithms for the Construction and Analysis of Systems
2019
Chinese Folklore Studies Today
2024
Dependable Software Engineering. Theories, Tools, and Applications
2020
Discrete-Time and Discrete-Space Dynamical Systems
2019
Tools and Algorithms for the Construction and Analysis of Systems
2019
In Pursuit of Presence or Prominence?
2018