{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:28Z","timestamp":1725557848047},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_7","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"95-110","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Model Checking Mobile Phone Payment Systems"],"prefix":"10.1007","author":[{"given":"Tim","family":"Kempster","sequence":"first","affiliation":[]},{"given":"Colin","family":"Stirling","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR2","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"7_CR3","volume-title":"Internetworking with TCP\/IP","author":"D.E. Comer","year":"1995","unstructured":"Comer, D.E.: Internetworking with TCP\/IP, vol.\u00a01. Prentice\u2013Hall, Upper Saddle River (1995)"},{"key":"7_CR4","unstructured":"Ellson, J., Gansner, E., Koutsofios, E., North, S.: Graphviz, http:\/\/www.research.att.com\/sw\/tools\/graphviz"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"7_CR6","unstructured":"Heintze, N., Tygar, J.D., Wing, J., Wong, H.C.: Model checking electronic commerce protocols. In: Proceedings of the Second USENIX Workshop on Electronic Commerce, pp. 147\u2013164 (November 1996)"},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Spin model checker. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"1334","DOI":"10.1109\/PROC.1983.12775","volume":"71","author":"J.D. Day","year":"1983","unstructured":"Day, J.D., Zimmermann, H.: The OSI reference model. Proceedings of the IEEE\u00a071, 1334\u20131340 (1983)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kempster, T., Stirling, C., Thanisch, P.: A more committed quorumbased three phase commit protocol. In: International Symposium on Distributed Computing, pp. 246\u2013257 (1998)","DOI":"10.1007\/BFb0056487"},{"key":"7_CR10","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1993","unstructured":"Lynch, N.A.: Distributed Algorithms, ch. 8. Morgan-Kaufmann, San Francisco (1993)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Peled, D.: Ten years of partial order reduction. LNCS, vol.\u00a01427 (1998)","DOI":"10.1007\/BFb0028727"},{"key":"7_CR12","unstructured":"Stulp, F., Verbrugge, R.: A knowledge-based algorithm for the internet transmission control protocol (tcp). In: Bonanno, G., van der Hoek, W. (eds.) Proceedings 4rd Conference on Logic and the Foundations of Game and Descision Theory, LOFT 4 (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:36:13Z","timestamp":1559208973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}