Browse by author
Lookup NU author(s): Dr Leo Freitas, Dr Paolo Modesti
The full text of this item is currently under embargo and cannot be made publicly available until after publication.
Author(s): Almehrej A, Freitas L, Modesti P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: International Conference on Rigorous State-Based Methods
Year of Conference: 2020
Pages: 230-236
Print publication date: 27/05/2020
Online publication date: 22/05/2020
Acceptance date: 27/05/2020
ISSN: 9783030480776
Publisher: Springer
URL: https://doi.org/10.1007/978-3-030-48077-6_16
DOI: 10.1007/978-3-030-48077-6_16
Library holdings: Search Newcastle University Library for this item
Series Title: LNCS
ISBN: 9783030480769
