Scalable context-dependent analysis of emergency egress models. (2012)

by Mieke Massink, Diego Latella, Andrea Bracciali, Michael D Harrison, Jane Hillston
Venue:Formal Aspects of Computing,