A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis
- Lookup NU author(s)
- Emeritus Professor Michael Harrison
|
|
|
|
| Author(s) | | Massink M, Bracciali A, Latella D, Harrison M |
| Editor(s) | | |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010). |
| Conference Location | | Pisa, Italy |
| Year of Conference | | 2010 |
| Date | | 13-18 September 2010 |
| Volume | | |
| Pages | | 169-180 |
| ISBN | | 9781424482894 |
| |  |
|
|
|
| Full text for this publication is not currently held within this repository. Alternative links are provided below where available. |
|
|
|
| Publisher | | IEEE |
| URL | | http://dx.doi.org/10.1109/SEFM.2010.22 |
| DOI | | 10.1109/SEFM.2010.22 |
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
