Garanina, N.,
Anureev, I.,
Sidorova, E.,
Koznov, D.,
Zyubin, V. &
Gorlatch, S.,
1 Sept 2020,
Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.).
Springer Nature,
p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review