A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

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

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

URL: http://dx.doi.org/10.1109/SEFM.2010.22

DOI: 10.1109/SEFM.2010.22

Library holdings: Search Newcastle University Library for this item

ISBN: 9781424482894

ePrints