{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:48:06Z","timestamp":1725533286775},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016646"},{"type":"electronic","value":"9783642016653"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01665-3_51","type":"book-chapter","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T23:43:06Z","timestamp":1243554186000},"page":"514-522","source":"Crossref","is-referenced-by-count":0,"title":["Agent Verification Design of Short Text Messaging System Using Formal Method"],"prefix":"10.1007","author":[{"given":"Ali","family":"Selamat","sequence":"first","affiliation":[]},{"given":"Siti Dianah Abdul","family":"Bujang","sequence":"additional","affiliation":[]},{"given":"Md. Hafiz","family":"Selamat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Valentino, C.A.: Progress Monitoring for the Field Operations of the 2007 Philipine Cencus of Population, National Statistics Office, Philipines, December 10-12 (2007)"},{"key":"51_CR2","unstructured":"Mee, V.N., Selamat, A.: SMS Management System for Direct Sales and Network Marketing. In: Fifth International Conference on Information Technology in Asia (CITA 2007) (2007)"},{"key":"51_CR3","doi-asserted-by":"crossref","unstructured":"Shengguang, M., Wei, C., Gang, L., Shitong, W., Liu, W.: An Asset management System based on RFID, WebGIS and SMS. In: 2nd International Conference on Ubiquitous Information Management & Communication (ICUIMC 2008) (2008)","DOI":"10.1145\/1352793.1352811"},{"key":"51_CR4","unstructured":"Messaging (2009), http:\/\/www.gsmworld.com\/gsmdata"},{"key":"51_CR5","volume-title":"Verification of Evolving Software via Component, Substitutability Analysis","author":"S. Chaki","year":"2008","unstructured":"Chaki, S., Clarke, E., Sharygina, N., Sinha, N.: Verification of Evolving Software via Component, Substitutability Analysis. Springer Science+Business Media, LLC (2008)"},{"key":"51_CR6","unstructured":"Bollig, B.: Formal Models of Communicating Systems. Springer Science+Business Media (2006)"},{"key":"51_CR7","volume-title":"Proceedings of the Seventh European Conference on Software Maintenance and Reeingineering (CSMR 2003)","author":"D.S. Eugenio","year":"2003","unstructured":"Eugenio, D.S., Francesco, M.D., Marina, M., Giacomo, P.: Web applications design and maintenance using Symbolic Model Checking. In: Proceedings of the Seventh European Conference on Software Maintenance and Reeingineering (CSMR 2003). IEEE, Los Alamitos (2003)"},{"key":"51_CR8","volume-title":"The Sixth International Conference on Grid and Cooperative Computing (GCC 2007)","author":"Y. Yu","year":"2007","unstructured":"Yu, Y., Li, X.: A workflow model with temporal logic constrains and its automated verification. In: The Sixth International Conference on Grid and Cooperative Computing (GCC 2007). IEEE, Los Alamitos (2007)"},{"key":"51_CR9","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, A.D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"51_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.dss.2003.12.001","volume":"39","author":"B.B. Anderson","year":"2005","unstructured":"Anderson, B.B., Hansen, J.V., Lowry, P.B., Summers, S.L.: Model Checking for design and assurance of e-Business processes. Decision Support Systems\u00a039, 333\u2013344 (2005)","journal-title":"Decision Support Systems"},{"key":"51_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification Model Checking Techniques and Tools","author":"B. Berard","year":"2001","unstructured":"Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L.: Systems and Software Verification Model Checking Techniques and Tools. Springer, Heidelberg (2001)"},{"key":"51_CR12","unstructured":"Katoen, J.P.: Concept, Algorithms and Tools for Model Checking. Lecture Notes of Course, vol.\u00a032, pp. 31\u201336 (1999)"},{"key":"51_CR13","unstructured":"Bang Ki, S., Jin Hyun, W., Yoo, C., Choi Jin, Y.: System Resource Utilization Analysis based on Model Checking Method. An International Journal of Computing and Informatics (Informatica) (2005)"},{"key":"51_CR14","volume-title":"Proceeding of the 6th World Congress on Intelligent Control and Automation","author":"M. Xiao","year":"2006","unstructured":"Xiao, M., Li, J.: The Modeling Analysis of Cryptographic Protocols using Promela. In: Proceeding of the 6th World Congress on Intelligent Control and Automation. IEEE, Los Alamitos (2006)"},{"key":"51_CR15","volume-title":"Eighth International Conference on Intelligent Systems Design and Applications( ISDA 2008)","author":"A.S.D. Bujang","year":"2008","unstructured":"Bujang, A.S.D., Selamat, A.: Verification of Mobile SMS Application with Model Checking Agent. In: Eighth International Conference on Intelligent Systems Design and Applications( ISDA 2008). IEEE, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01665-3_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T07:53:23Z","timestamp":1558338803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01665-3_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016646","9783642016653"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01665-3_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}