Publications

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

AuthID
P-00G-DM6

Author(s)

Massink, M

Latella, D

Bracciali, A

Harrison, MD

Document Type

Proceedings Paper

Year published

2010

Published

in Proceedings - Software Engineering and Formal Methods, SEFM 2010

Pages: 169-180

Conference

8Th Ieee International Conference on Software Engineering and Formal Methods, Sefm 2010, Date: 14 September 2010 through 18 September 2010, Location: Pisa, Sponsors: IEEE Computer Society

Indexing

Scopus^®

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/sefm.2010.22

Scopus: 2-s2.0-78650424493

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

Useful Links

Get Help

Federated Authentication (Click on the image)

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

Useful Links

Get Help