{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:11Z","timestamp":1725558911964},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253402"},{"type":"electronic","value":"9783540321286"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32128-6_18","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T15:51:34Z","timestamp":1278258694000},"page":"228-242","source":"Crossref","is-referenced-by-count":6,"title":["Specification and Design of Multi-agent Applications Using Temporal Z"],"prefix":"10.1007","author":[{"given":"Amira","family":"Regayeg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages (1998)","DOI":"10.1007\/BFb0026757"},{"key":"18_CR2","unstructured":"El Fallah, A.: Repr\u00e9sentation et manipulation de plans \u00e0 l\u2019aide des r\u00e9seaux de Petri. Actes des 2\u00e8mes Journ\u00e9es Francophones IAD-SMA (1994)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/S1389-1286(03)00215-9","volume":"42","author":"M. Jmaiel","year":"2003","unstructured":"Jmaiel, M., Pepper, P.: Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal\u00a042, 737\u2013764 (2003)","journal-title":"Computer Networks Journal"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BFb0105411","volume-title":"Theorem Proving in Higher Order Logics","author":"R. Kolyang","year":"1996","unstructured":"Kolyang, R., Santen, T., Wolff, B.: A structure preserving encoding of Z in isabelle-Hol. In: von Wright, J., Harrison, J., Grundy, J. (eds.) TPHOLs 1996. LNCS, vol.\u00a01125, pp. 283\u2013298. Springer, Heidelberg (1996)"},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"18_CR6","unstructured":"Meisels, I., Saaltink, M.: The Z\/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)"},{"key":"18_CR7","volume-title":"The Z notation","author":"M. Spivey","year":"1992","unstructured":"Spivey, M.: The Z notation, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)","edition":"2"},{"key":"18_CR8","unstructured":"Von, V.: An Integration of Z and Timed CSP for specifying Real-Time Embedded Systems. PhD thesis (2002)"},{"key":"18_CR9","volume-title":"Using Z: Specification, Refinement and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32128-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:39:24Z","timestamp":1558280364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32128-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253402","9783540321286"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32128-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}