A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

  1. Lookup NU author(s)
  2. Professor Michael Harrison
Author(s)Massink M, Bracciali A, Latella D, Harrison M
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference NameProceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010).
Conference LocationPisa, Italy
Year of Conference2010
Legacy Date13-18 September 2010
Volume
Pages169-180
ISBN9781424482894
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherIEEE
URLhttp://dx.doi.org/10.1109/SEFM.2010.22
DOI10.1109/SEFM.2010.22
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item