Browse by author
Lookup NU author(s): Mariia Vasileva,
Dr Fedor Shmarov,
Dr Paolo Zuliani
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2020.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Vasileva M, Shmarov F, Zuliani P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)
Year of Conference: 2020
Online publication date: 18/01/2021
Acceptance date: 26/09/2020
Date deposited: 03/11/2020
Library holdings: Search Newcastle University Library for this item