Boughzala, B., Koldehofe, B. & Lazovik, A., 2025,
(Accepted/In press) 45th IEEE International Conference on
Distributed Computing Systems (IEEE ICDCS 2025).IEEE
Ahmed, S., Dustegor, D., Lazovik,
A. & Wörtche, H. J., 22-aug.-2025, The 21st Computing and
Control in the Water Industry Conference (CCWI 2025).6 blz.
Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong,
H., 2024, Leveraging
Applications of Formal Methods, Verification and Validation :
Application Areas. Margaria, T. & Steffen, B. (uitgave).
Springer International Publishing, Cham, Switzerland,
blz. 62-8221 blz.