Publications by Paulius Stankaitis - ePrints

Newcastle Authors	Title	Year	Full text
Paulius Stankaitis Dr Alexei Iliasov Dr Keiichi Ishikawa Professor Alexander Romanovsky	Formal Distributed Protocol Development for Reservation of Railway Sections	2020
Alessandro De Gennaro Paulius Stankaitis Dr Andrey Mokhov	Efficient Composition of Scenario-based Hardware Specifications	2019