Browse by author
Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald
The full text of this item is currently under embargo and cannot be made publicly available until 17/08/2024.
Author(s): Larsen PG, Esterle L, Fitzgerald J, Frasheri M
Editor(s): Haxthausen, AE; Huang, W; Roggenbach M
Publication type: Book Chapter
Publication status: Published
Book Title: Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Year: 2023
Volume: 14165
Pages: 222-236
Online publication date: 17/08/2023
Acceptance date: 02/04/2018
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Place Published: Cham
URL: https://doi.org/10.1007/978-3-031-40132-9_14
DOI: 10.1007/978-3-031-40132-9_14
Library holdings: Search Newcastle University Library for this item
ISBN: 9783031401312