Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Ilya Lopatkin, Emeritus Professor Alexander RomanovskyORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Iliasov A, Lopatkin I, Romanovsky A
Editor(s): Boulanger, J-L
Publication type: Book Chapter
Publication status: Published
Book Title: Formal Methods Applied to Complex Systems
Year: 2014
Pages: 447-473
Print publication date: 26/06/2014
Online publication date: 22/07/2014
Publisher: Wiley
Place Published: New Jersey, USA
URL: http://dx.doi.org/10.1002/9781119002727.ch15
DOI: 10.1002/9781119002727.ch15
Library holdings: Search Newcastle University Library for this item
ISBN: 9781848217096