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 02/06/2026.
Author(s): Laibinis L, Iliasov A, Romanovsky A
Editor(s): Leuschel, M; Ishikawa, F
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 11th International Conference on Rigorous State Based Methods (ABZ 2025)
Year of Conference: 2025
Pages: 106-123
Print publication date: 01/09/2025
Online publication date: 02/06/2025
Acceptance date: 01/04/2025
Date deposited: 02/03/2025
ISSN: 0302-9743
Publisher: Springer
URL: https://doi.org/10.1007/978-3-031-94533-5_7
DOI: 10.1007/978-3-031-94533-5_7
ePrints DOI: 10.57711/zn2t-hq18
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783031945328
