Chapter
FME 2003: Formal Methods, 2003, Volume 2805
ISBN : 978-3-540-40828-4
Article
Alexei Iliasov, Dominic Taylor, Linas Laibinis and Alexander Romanovsky
Journal: IEEE Transactions on Dependable and Secure Computing, 2023, Volume 20, Number 1, Page 695
DOI: 10.1109/TDSC.2022.3141555