{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T01:10:07Z","timestamp":1748913007500,"version":"3.41.0"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319389035"},{"type":"electronic","value":"9783319389042"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-38904-2_33","type":"book-chapter","created":{"date-parts":[[2016,5,5]],"date-time":"2016-05-05T03:16:06Z","timestamp":1462418166000},"page":"317-322","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Approach for Modeling and Verification of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Gang","family":"Ren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pan","family":"Deng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingsong","family":"Hua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,6]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the International Conference on Software Engineering, pp. 547\u2013550, Orlando, May 2002","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"33_CR2","unstructured":"Omg unified modeling language (omg uml). Normative Reference (2013). http:\/\/www.omg.org\/spec\/UML\/2.5"},{"issue":"1","key":"33_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Chen, C., Chen, P., Chen, W.: A novel emergency vehicle dispatching system. In: Vehicular Technology Conference, pp. 1\u20135, June 2013","DOI":"10.1109\/VTCSpring.2013.6691836"},{"issue":"2","key":"33_CR6","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MVT.2013.2252294","volume":"8","author":"J Rajamaki","year":"2013","unstructured":"Rajamaki, J.: The mobi project: designing the future emergency service vehicle. IEEE Veh. Technol. Mag. 8(2), 92\u201399 (2013)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"33_CR7","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-38904-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T00:36:29Z","timestamp":1748910989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-38904-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319389035","9783319389042"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-38904-2_33","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2016]]}}}