{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:12:45Z","timestamp":1725804765650},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118178"},{"type":"electronic","value":"9783319118185"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11818-5_10","type":"book-chapter","created":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T02:55:01Z","timestamp":1410317701000},"page":"112-119","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Modeling Approach for Emergency Crisis Response in Health during Catastrophic Situation"],"prefix":"10.1007","author":[{"given":"Mohammed","family":"Ouzzif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marouane","family":"Hamdani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassan","family":"Mountassir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammed","family":"Erradi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Wang D.Y.A., Pan L.W.B., Lu L.A., Zhu J.P.A., Liao G.X.A.: Integrated Emergency Response System Structure Design for a City in China. In: International Conference on Performance-based Fire and Fire Protection Engineering (2012)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.cor.2012.03.018","volume":"42","author":"J. Li","year":"2014","unstructured":"Li, J., Li, Q., Liu, C., Khan, S.U., Ghani, N.: Community-based collaborativeinformation system for emergency management. Original Research Article Computers & Operations Research\u00a042, 116\u2013124 (2014)","journal-title":"Original Research Article Computers & Operations Research"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.ijdrr.2014.02.004","volume":"9","author":"R.A. Hadiguna","year":"2014","unstructured":"Hadiguna, R.A., Kamil, I., Delati, A., Reed, R.: Implementing a web-based decision support system for disaster logistics: A case study of an evacuation location assessment for Indonesia. Original Research Article International Journal of Disaster Risk Reduction\u00a09, 38\u201347 (2014)","journal-title":"Original Research Article International Journal of Disaster Risk Reduction"},{"key":"10_CR4","volume-title":"2009 IEEE Nuclear Science Symposium Conference Record (NSS\/MIC)","author":"G. Attebury","year":"2009","unstructured":"Attebury, G., Baranovski, A., Bloom, K., Bockelman, B.: Hadoop distributed file system for the Grid. In: 2009 IEEE Nuclear Science Symposium Conference Record (NSS\/MIC), Orlando, FL. Univ. of Nebraska Lincoln, Lincoln (2009)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Viana-Ferreira, C., Costa, C., Oliveira, J.: Dicoogle Relay \u2013 a Cloud Communications Bridge for Medical Imaging. In: chez 25th International Symposium on Computer-Based Medical Systems (CBMS), Rome (2012)","DOI":"10.1109\/CBMS.2012.6266402"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnuelli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Spinger (1992) ISBN 0-387-97664-7","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: The model checker Spin. IEEE Transactions on Software Enginnering\u00a023(15) (1996)","DOI":"10.1109\/32.588521"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Krombi, W., Erradi, M., Khoumsi, A.: Automata-Based Approach to Design and Analyze Security Policies. In: IEEE 12th Int. Conf. on Privacy Security and Trust, Toronto (July 2014)","DOI":"10.1109\/PST.2014.6890953"}],"container-title":["Lecture Notes in Business Information Processing","Information Systems for Crisis Response and Management in Mediterranean Countries"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11818-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:03:51Z","timestamp":1558976631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11818-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118178","9783319118185"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11818-5_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}