Runtime Verification 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings Dang Thao Heftet / 2022 / Engelsk
Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers Maler Oded Heftet / 2015 / Engelsk
