{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:14:15Z","timestamp":1743110055256,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319914459"},{"type":"electronic","value":"9783319914466"}],"license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-91446-6_14","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T00:54:03Z","timestamp":1527296043000},"page":"135-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Fairness in Temporal Verification of Distributed Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7532-362X","authenticated-orcid":false,"given":"Wiktor B.","family":"Daszczuk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"14_CR1","first-page":"261","volume":"18","author":"S Chrobot","year":"2006","unstructured":"Chrobot, S., Daszczuk, W.B.: Communication dualism in distributed systems with petri net interpretation. Theor. Appl. Inform. 18, 261\u2013278 (2006). arXiv: 1710.07907","journal-title":"Theor. Appl. Inform."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/comjnl\/bxw099","volume":"60","author":"WB Daszczuk","year":"2017","unstructured":"Daszczuk, W.B.: Communication and resource deadlock analysis using IMDS formalism and model checking. Comput. J. 60, 729\u2013750 (2017). \nhttps:\/\/doi.org\/10.1093\/comjnl\/bxw099","journal-title":"Comput. J."},{"key":"14_CR3","unstructured":"Dedan. \nhttp:\/\/staff.ii.pw.edu.pl\/dedan\/files\/DedAn.zip"},{"key":"14_CR4","isbn-type":"print","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008). ISBN 9780262026499","ISBN":"https:\/\/id.crossref.org\/isbn\/9780262026499"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-770-1","volume-title":"Principles of the Spin Model Checker","author":"M Ben-Ari","year":"2008","unstructured":"Ben-Ari, M.: Principles of the Spin Model Checker. Springer, London (2008). \nhttps:\/\/doi.org\/10.1007\/978-1-84628-770-1"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"Alessandro 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. Computer Aided Verification. LNCS, vol. 2404, Copenhagen, Denmark, 27\u201331 July 2002, pp. 359\u2013364. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45657-0_29"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/spe.1006","volume":"41","author":"G Behrmann","year":"2011","unstructured":"Behrmann, G., David, A., Larsen, K.G., Pettersson, P., Yi, W.: Developing UPPAAL over 15 years. Softw. Pract. Exp. 41, 133\u2013142 (2011). \nhttps:\/\/doi.org\/10.1002\/spe.1006","journal-title":"Softw. Pract. Exp."},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Daszczuk, W.B.: Evaluation of temporal formulas based on \u201cchecking by spheres.\u201d In: Proceedings Euromicro Symposium on Digital Systems Design, Warsaw, Poland, 4\u20136 September 2001, pp. 158\u2013164. IEEE (2001). \nhttps:\/\/doi.org\/10.1109\/dsd.2001.952267","DOI":"10.1109\/dsd.2001.952267"},{"key":"14_CR9","unstructured":"Dedan Examples. \nhttp:\/\/staff.ii.pw.edu.pl\/dedan\/files\/examples.zip"},{"key":"14_CR10","doi-asserted-by":"publisher","unstructured":"Pnueli, A., Sa\u2019ar, Y.: All you need is compassion. In: 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008, San Francisco, CA, 7\u20139 January 2008, pp. 233\u2013247. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78163-9_21","DOI":"10.1007\/978-3-540-78163-9_21"},{"key":"14_CR11","unstructured":"G\u00f3mez, R., Bowman, H.: Discrete timed automata. Technical report 3-05-2005, Canterbury, UK (2005). \nhttps:\/\/kar.kent.ac.uk\/14362\/1\/TR305.pdf"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-1-4471-4276-8_9","volume-title":"Lecture Notes in Control and Information Sciences","author":"B\u00e9atrice B\u00e9rard","year":"2013","unstructured":"B\u00e9rard, B.: An introduction to timed automata. In: Control of Discrete-Event Systems, pp. 169\u2013187. Springer, London (2013). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-4276-8_9"}],"container-title":["Advances in Intelligent Systems and Computing","Contemporary Complex Systems and Their Dependability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91446-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T06:19:20Z","timestamp":1529993960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91446-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"ISBN":["9783319914459","9783319914466"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91446-6_14","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,5,27]]}}}