Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Distributed Protocol Development for Reservation of Railway Sections

Lookup NU author(s): Dr Paulius Stankaitis, Dr Alexei Iliasov, Dr Keiichi Ishikawa, Professor Alexander RomanovskyORCiD



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2020.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Stankaitis P, Iliasov A, Kobayashi T, Ait Ameur Y, Ishikawa F, Romanovsky A

Editor(s): Raschke, A; Méry, D; Houdek, F

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th International Conference on Rigorous State-Based Methods (ABZ 2020)

Year of Conference: 2020

Pages: 203-219

Online publication date: 22/05/2020

Acceptance date: 09/03/2020

Date deposited: 23/10/2020

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-030-48077-6_14

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783030480769