Browse by author
Lookup NU author(s): Dr Linas Laibinis, Dr Alexei Iliasov, Emeritus Professor Alexander RomanovskyORCiD
The full text of this item is currently under embargo and cannot be made publicly available until after publication.
Author(s): Laibinis L, Iliasov A, Romanovsky A
Editor(s): Leuschel, M; Ishikawa, F
Publication type: Conference Proceedings (inc. Abstract)
Publication status: In Press
Conference Name: ABZ 2025 – 11th International Conference on Rigorous State Based Methods
Year of Conference: 2025
Acceptance date: 01/04/2025
Date deposited: 02/03/2025
Publisher: Springer
