A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno)

Type
Label
  • A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/SEFM.2010.22 (literal)
Alternative label
  • Massink M.; Latella D; Bracciali A.; Harrison M. (2010)
    A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis
    in 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Massink M.; Latella D; Bracciali A.; Harrison M. (literal)
Pagina inizio
  • 169 (literal)
Pagina fine
  • 180 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings - 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI; CNR-ISTI; CNR-ISTI; Newcastle University (literal)
Titolo
  • A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-0-7695-4153-2 (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it