Toggle Main Menu Toggle Search

Open Access padlockePrints

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Massink M, Bracciali A, Latella D, Harrison M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010).

Year of Conference: 2010

Pages: 169-180

Publisher: IEEE


DOI: 10.1109/SEFM.2010.22

Library holdings: Search Newcastle University Library for this item

ISBN: 9781424482894