In: Proceedings of the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD). International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD-2025), located at CAiSE 2025, Vienna, Austria, 6/2025.
In: 55th International Symposium on Multiple-Valued Logic (ISMVL 2025). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2025), June 5-6, Montreal, Canada, 2025.
In: Proceedings of the 2025 International Conference on Mobile and Miniaturized Terahertz Systems. International Conference on Mobile and Miniaturized Terahertz Systems (ICM2TS-2025), February 23-26, Dubai, United Arab Emirates, k. A. 2/2025.