{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:45:49Z","timestamp":1725468349293},"publisher-location":"Berlin\/Heidelberg","reference-count":65,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540314067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32062-8_25","type":"book-chapter","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T13:54:18Z","timestamp":1155131658000},"page":"531-554","source":"Crossref","is-referenced-by-count":5,"title":["From Testing to Theorem Proving"],"prefix":"10.1007","author":[{"given":"Ingo J.","family":"Timm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Scholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"F\u00fcrstenau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Barringer, H.; Goldberg, A.; Havelund, K.; Sen, K.: Rule-based runtime verfication. In: Fifth International Conference on Verfication, Model Checking and Abstract Interpretation (VMCAI 2004). Venice, Italy, 2004.","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"25_CR2","unstructured":"Beck, K.: Test Driven Development by Example. Addison-Wesley Professional, 2002."},{"key":"25_CR3","unstructured":"Beck, K.; Andres, C.: Extreme Programming Explained. Addison-Wesley Professional, 2004."},{"key":"25_CR4","volume-title":"Objektorientierte Analyse und Design","author":"G. Booch","year":"1994","unstructured":"Booch, G.: Objektorientierte Analyse und Design. Addison-Wesley, Bonn, Paris, 1994."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Brat, G.; Giannakopoulou, D.; Goldberg, A.; Havelund, K.; Lowry, M.; Pasareanu, C.; Venet, A.; Visser, W.: Experimental evaluation of verfication and validation tools on martian rover software. In: CMU\/SEI Software Model Checking. Pittsburg, USA, 2003. Extended version to appear in Formal Methods in System Design.","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Braubach, L.; Pokahr, A.; Lamersdorf, W.; Moldt, D.: Goal Representation for BDI Agent Systems. In: Bordini, R. H.; Dastani, M.; Dix, J.; Fallah-Seghrouchni, A. E. (Eds.): Proceedings of the Second International Workshop on Programming Multiagent Systems: Languages and Tools. New York, pp. 9\u201320.","DOI":"10.1007\/978-3-540-32260-3_3"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Cabac, L.; Moldt, D.: Formal Semantics for AUML Agent Interaction Protocols Diagrams. In: Odell, J.; Giorgini, P.; M\u00fcller, J. P. (Eds.): Agent-Oriented Software Engineering V. 5th International Workshop (AOSE 2004). Springer, Berlin, Heidelberg, New York, pp. 47\u201361.","DOI":"10.1007\/978-3-540-30578-1_4"},{"key":"25_CR8","unstructured":"Clarke, E.; Grumberg, O.; Peled, D.: Model Checking. MIT Press, 2000."},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Logics of Programs, Workshop","author":"E. Clarke","year":"1981","unstructured":"Clarke, E.; Emerson, E. M.: Synthesis of Synchronization Skeletons for Branching Time Temporal Logic. In: Logics of Programs, Workshop. Lecture Notes in Computer Science 131. Springer Verlag, New York, 1981."},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218194001000542","volume":"11","author":"S. A. DeLoach","year":"2001","unstructured":"DeLoach, S. A.; Wood, M. F.; Sparkman, C. H.: Multiagent systems engineering. In: International Journal of Software Engineering and Knowledge Engineering 11(2001)3, pp. 231\u2013258.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"25_CR11","unstructured":"Dijkstra, E. W.: The Programming Task Considered as an Intellectual Challenge. Transcription from Dijkstras EW 1969. Transcripted by McCarthy, D. C. Eindhoven, 1969."},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinky","year":"2000","unstructured":"Drusinky, D.: The Temporal Rover and the ATG Rover. In: SPIN Model Checking and Software Verification. Lecture Notes in Computer Science 1885. Springer, Berlin, Heidelberg, New York, 2000, pp. 323\u2013330."},{"key":"25_CR13","first-page":"936","volume-title":"Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS 04)","author":"B. Edmonds","year":"2004","unstructured":"Edmonds, B.; Bryson, J. J.: The Insufficiency of Formal Design Methods \u2014 the necessity of an experimental approach for the understanding and control of complex MAS. In: Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS 04). The Association for Computing Machinery, Inc., New York, USA, 2004, pp. 936\u2013943."},{"key":"25_CR14","unstructured":"Fernandes, J.; Bello, O.: Modeling of Multi-agent System Activities through Colored Petri Nets: an Industrial Production System Case Study. In: Proceedings of the 16 International Conference on Applied Informatics. Anaheim, CA, 1998, pp. 17\u201320."},{"issue":"1","key":"25_CR15","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1142\/S0218843097000057","volume":"6","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.; Wooldridge, M.: On the formal specification and verification of Multi-Agent Systems. In: International Journal of Cooperative Information Systems 6(1997)1, pp. 37\u201365.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"25_CR16","unstructured":"Gerth, R.; Peled, D.; Vardi, M. Y.; Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification, Testing, and Verification: Chapman, 1995, pp. 3\u201318."},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/1-4020-8058-1_4","volume-title":"Methodologies and Software Engineering for Agent Systems","author":"J. J. G\u00f3mez-Sanz","year":"2004","unstructured":"G\u00f3mez-Sanz, J. J.; Geravis, M.-P.; Weiss, G.: A Survey on Agent-Oriented Software Engineering Research. In: Bergenti, F.; Gleizes, M.-P.; Zambonelli, F. (Eds.): Methodologies and Software Engineering for Agent Systems. Kluwer Academic Publishers, Boston, Dordrecht, London, 2004, pp. 33\u201364."},{"key":"25_CR18","volume-title":"Object-oriented Software Engineering-Object Verfication","author":"S. Halladay","year":"1994","unstructured":"Halladay, S.; Wiebel, M.: Object-oriented Software Engineering-Object Verfication. R&D Publications, Lawrence, 1994."},{"issue":"3","key":"25_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/52.676735","volume":"15","author":"L. Hatton","year":"1998","unstructured":"Hatton, L.: Does OO Sync with How We Think? In: IEEE Software 15(1998)3, pp. 46\u201354.","journal-title":"IEEE Software"},{"issue":"3","key":"25_CR20","first-page":"123","volume":"10","author":"H. L. Hausen","year":"1987","unstructured":"Hausen, H. L.; M\u00fcllerburg, M.; Schmidt, M: \u00dcber das Pr\u00fcfen, Messen und Bewerten von Software (On the Examination, Measurement, and Assessment of Software). In: Informatik Spektrum 10(1987)3, pp. 123\u2013144.","journal-title":"Informatik Spektrum"},{"key":"25_CR21","first-page":"196","volume-title":"Proceedings of the 3rd Int. Workshop of Cooperative Information Agents (CIA\u2019 99)","author":"C. Hanachi","year":"1999","unstructured":"Hanachi, C.; Hameurlain, N.; Sibertin-Blanc, C.: Mobile Agents Behaviours: From Declarative Specifications to Implementation. In: Proceedings of the 3rd Int. Workshop of Cooperative Information Agents (CIA\u2019 99), Uppsala, Sweden. Springer-Verlag, Berlin, 1999, pp. 196\u2013207."},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Havelund, K.; Rosu, G.: Monitoring Java programs with Java PathExplorer. In: First Workshop on Runtime Verfication (RV 2001). Electronic Notes in Theoretical Computer Science 55 (2001).","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"25_CR23","volume-title":"Proceedings of the 10th International Conference on Computer Aided Verification","author":"T. A. Henzinger","year":"1998","unstructured":"Henzinger, T. A.; Kupferman, O.; Qadeer, S.: From Pre-historic to Post-modern symbolic model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. Springer-Verlag, Berlin, 1998."},{"key":"25_CR24","unstructured":"Herzog, O.: Zur Analyse der Kontrollstruktur von parallelen Programmen mit Hilfe von Petri-Netzen. Inform. Dissertation, Universit\u00e4t Dortmund, 1976."},{"key":"25_CR25","first-page":"3","volume":"49","author":"T. Holvoet","year":"1995","unstructured":"Holvoet, T.: Agents and Petri Nets. In: Petri Net Newsletter 49 (1995), pp. 3\u20138.","journal-title":"Petri Net Newsletter"},{"issue":"5","key":"25_CR26","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1995","unstructured":"Holzmann, G.: The Model Checker Spin. In: IEEE Transactions on Software Engineering 23(1995)5, pp. 279\u2013295.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"25_CR27","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/64.215222","volume":"8","author":"T. Hoppe","year":"1993","unstructured":"Hoppe, T.; Mesegeur, P.: VVT Terminology: A Proposal. In: IEEE Expert 8(1993)3, pp. 48\u201355.","journal-title":"IEEE Expert"},{"key":"25_CR28","unstructured":"Hormann, A.: Testbasierte Spezifikation von Agenteninteraktionsverhalten. Diploma Thesis, University of Bremen, 2006."},{"key":"25_CR29","doi-asserted-by":"crossref","unstructured":"Huget, M. P.; Demazeau, Y.: Evaluating Multiagent Systems: A Record\/Replay Approach. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT04). IEEE Press, 2004.","DOI":"10.1109\/IAT.2004.1343013"},{"key":"25_CR30","volume-title":"Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics","author":"S. Jabbar","year":"2001","unstructured":"Jabbar, S.; Abbas, K. Z.: A generalized methodology and framework for the Validation and Verification of Multi-Agent Systems. In: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics. IEEE, Tucson, 2001."},{"key":"25_CR31","volume-title":"Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagentsystems (AAMAS 2004)","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M.; Lomuscio, A.; Penczek, W.: Verification of multiagent systems via unbounded model checking. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagentsystems (AAMAS 2004). IEEE Computer Society, New York, 2004."},{"key":"25_CR32","first-page":"224","volume-title":"Proceedings of the 22nd International Conference on Application and Theory of Petri Nets","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M.; Moldt, D.; R\u00f6lke, D.: Modelling the Structure and Behaviour of Petri Net Agents. In: Proceedings of the 22nd International Conference on Application and Theory of Petri Nets. Springer-Verlag, London, UK, 2001, pp. 224\u2013241."},{"key":"25_CR33","unstructured":"Kruchten, P.: The Rational Unified Process \u2014 Eine Einf\u00fchrung. 2nd ed., Addison Wesley, 2001."},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"McMillan, K. L.: Applying SAT methods in unbounded symbolic model checking. In: Proceedings of the 14th International Conference on Computer Aided Verification (CAV\u201902). Lecture Notes in Computer Science 2404. Springer-Verlag, 2002, pp. 250\u2013264.","DOI":"10.1007\/3-540-45657-0_19"},{"key":"25_CR35","doi-asserted-by":"crossref","unstructured":"Menzies, T.; Pecheur, C.: Verification and Validation and Artificial Intelligence. In: Advances of Computers 65. Elsevier, 2005.","DOI":"10.1016\/S0065-2458(05)65004-8"},{"key":"25_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-44895-0_17","volume-title":"Proceedings of International Conference on Business Process Management","author":"D. Moldt","year":"2003","unstructured":"Moldt, D.; R\u00f6lke, H.: Pattern Based Workflow Design Using Reference Nets. In: van der Aalst, W.; Arthur ter Hofstede, A.; Weske, M. (Eds.): Proceedings of International Conference on Business Process Management, Eindhoven, NL. Lecture Notes in Computer Science 2678. Springer-Verlag, Berlin, 2003, pp. 246\u2013260."},{"key":"25_CR37","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/3-540-45594-9_16","volume-title":"Business Process Management, Models, Techniques, and Empirical Studies","author":"D. Moldt","year":"2000","unstructured":"Moldt, D.; Valk, R.: Object Oriented Petri Nets in Business Process Modelling. In: Business Process Management, Models, Techniques, and Empirical Studies. Springer-Verlag, London, UK, 2000, pp. 254\u2013273."},{"key":"25_CR38","first-page":"82","volume-title":"ICATPN\u2019 97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets","author":"D. Moldt","year":"1997","unstructured":"Moldt, D.; Wienberg, F.: Multi-Agent-Systems Based on Coloured Petri Nets. In: ICATPN\u2019 97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets. Springer-Verlag, London, UK, 1997, pp. 82\u2013101."},{"key":"25_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/978-3-540-27813-9_45","volume-title":"Computer-Aided Verification","author":"L. Moura","year":"2004","unstructured":"Moura, L.; Owre, S.; Ruess, H.; Rushby, J.; Shankar, N.; Sorea, M.; Tiwari, A.: SAL 2. In: Alur, R.; Peled, D. (Eds.): Computer-Aided Verification. Lecture Notes in Computer Science 3114. Springer Verlag, Boston, 2004, pp. 496\u2013500."},{"key":"25_CR40","series-title":"Lecture Notes in Computer Sciences","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/3-540-45441-1_31","volume-title":"Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools","author":"J. Mylopoulos","year":"2001","unstructured":"Mylopoulos, J.; Kolp, M.; Castro, J.: UML for Agent-Oriented Software Development: The Tropos Proposal. In: Gogolla, M.; Kobryn, C. (Eds.): Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools. Lecture Notes in Computer Sciences 2185. Springer-Verlag, Berlin, 2001, pp. 422\u2013441."},{"key":"25_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F.; Nielson, H. R.; Hankin, C.: Principles of Program Analysis. Springer, Berlin, Heidelberg, New York, 1999."},{"key":"25_CR42","unstructured":"Owre, S.; Rushby, J.; Shankar, N.: Analyzing tabular and statetransition requirements specifications in PVS. NASA Contractor Report 201729. SRI International, 1997."},{"key":"25_CR43","doi-asserted-by":"crossref","unstructured":"Padgham, L.; Winikoff, M.: Developing intelligent agent systems: A practical guide. Wiley, 2004.","DOI":"10.1002\/0470861223"},{"key":"25_CR44","series-title":"Lecture Notes in Computer Science","volume-title":"Model Checking Software","author":"C. S. Pasareanu","year":"2004","unstructured":"Pasareanu, C. S.; Visser, W.: Verification of Java Programs Using Symbolic Execution and Invariant Generation. In: Graf, S.; Mounier, L. (Eds.): Model Checking Software. Lecture Notes in Computer Science 2989. Springer Verlag, Berlin, 2004."},{"key":"25_CR45","first-page":"377","volume":"818","author":"D. Peled","year":"1994","unstructured":"Peled, D.: Combining partial order reductions with on-the-fly model-checking. In: CAV 94: Computer Aided Verification Lecture Notes in Computer Science 818. Springer, 1994, pp. 377\u2013390.","journal-title":"CAV 94: Computer Aided Verification Lecture Notes in Computer Science"},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Queille, J. P. M.; Sifakis, J.: Specification and verification of concurrent systems in Cesar. In Proceedings of the 5th International Symposium on Programming. Lecture Notes in Computer Science 137. Springer, 1981, pp. 337\u2013351.","DOI":"10.1007\/3-540-11494-7_22"},{"key":"25_CR47","unstructured":"Rainsberger, J. B.; Stirling, S.: JUnit Recipies \u2014 Practical Methods for Programmer Testing. Manning Publications Co., 2005."},{"key":"25_CR48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-01500-0","volume-title":"Testmethoden f\u00fcr sequentielle und nebenl\u00e4ufige Software-Systeme","author":"E. H. Riedemann","year":"1997","unstructured":"Riedemann, E. H.: Testmethoden f\u00fcr sequentielle und nebenl\u00e4ufige Software-Systeme. B.G. Teubner, Stuttgart, 1997."},{"key":"25_CR49","unstructured":"Royce, W. W.: Managing the Development of Large Software systems. In: Proceedings of the IEEE Wescon, August 1970. TRW, pp. 1\u20139."},{"key":"25_CR50","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991."},{"key":"25_CR51","unstructured":"Rushby, J.: Theorem proving for verification. In: Cassez, F. (Ed.): Modelling and Verification of Parallel Processes: MoVEP 2k, Nantes, France, June 2000. Tutorial presented at MoVEP. Lecture Notes in Artificial Intelligence 2067. Springer, 2000."},{"key":"25_CR52","series-title":"Lecture Notes in Artificial Intelligence (LNAI)","first-page":"130","volume-title":"Proceedings of the third conference on Multiagent System Technology (MATES 2005)","author":"T. Scholz","year":"2005","unstructured":"Scholz, T.; Timm, I. J.; Spittel, R.: An Agent Architecture for Ensuring Quality by Dynamic Capability Certification. In: Proceedings of the third conference on Multiagent System Technology (MATES 2005). Lecture Notes in Artificial Intelligence (LNAI) 3550. Springer Verlag, Berlin, 2005, pp. 130\u2013140."},{"key":"25_CR53","unstructured":"Scholz, T.; Timm, I. J.; Woelk, P.-O.: Emerging Capabilities in Intelligent Agents for Flexible Production Control. In: Ueda, K.; Monostri, L.; Markus, A. (Eds.): Proceedings of the 5th International Workshop on Emergent Synthesis (IWES 2004). Budapest, 2004, pp. 99\u2013105."},{"key":"25_CR54","first-page":"471","volume-title":"Proceedings of the 15th International Conference on Application and Theory of Petri Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"Sibertin-Blanc, C.: Cooperative Nets. In: Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain. Springer-Verlag, Berlin, 1994, pp. 471\u2013490."},{"key":"25_CR55","volume-title":"Proceedings of the International Conference on Software Maintenance","author":"M. Smith","year":"1990","unstructured":"Smith, M.; Robson, D.: Object-Oriented Programming \u2014 The Problems of Validation. In: Proceedings of the International Conference on Software Maintenance. IEEE Computer Society Press, San Diego, 1990."},{"key":"25_CR56","unstructured":"Sneed, H. M.; Winter, M.: Testen objektorientierter Software. Hanser, M\u00fcnchen, Wien, 2002."},{"key":"25_CR57","volume-title":"Software-Test \u2014 Verifikation und Validation 2","author":"G. E. Thaller","year":"2002","unstructured":"Thaller, G. E.: Software-Test \u2014 Verifikation und Validation 2. Verlag Heinz Heise GmbH & Co KG, Hannover, 2002."},{"key":"25_CR58","unstructured":"Timm, I. J: Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten. DISKI 283. infix, K\u00f6ln, 2004."},{"key":"25_CR59","doi-asserted-by":"crossref","unstructured":"Timm, I. J: Selbstlernprozesse in der Agentenkommunikation. In: Florian, M.; Hillebrandt, F. (Eds.): Adaption und Lernen in und von Organisationen. VS Verlag f\u00fcr Sozialwissenschaften, Wiesbaden, pp. 103\u2013127, to appear.","DOI":"10.1007\/978-3-322-80530-0_5"},{"key":"25_CR60","unstructured":"Timm, I. J.; T\u00f6nshoff, H. K.; Herzog, O.; Woelk, P. O.: Synthesis and Adaption of Multiagent Communication Protocols in the Production Engineering Domain. In: Butala, P.; Ueda, K. (Eds.): Proceedings of the 3rd International Workshop on Emergent Synthesis (IWES\u2019 01). Bled, Slovenia, March 12\u201313, 2001, pp. 73\u201382."},{"key":"25_CR61","volume-title":"Proceedings of the International Conference on Software Maintenance","author":"C. Turner","year":"1993","unstructured":"Turner, C.; Robson, D.: State-Based Testing of object-oriented Programs. In: Proceedings of the International Conference on Software Maintenance. IEEE Computer Society Press, Montreal, 1993."},{"key":"25_CR62","volume-title":"Agentenorientierte Softwareentwicklung","author":"G. Wei\u00df","year":"2005","unstructured":"Wei&sB, G.; Jakob, R.: Agentenorientierte Softwareentwicklung. Springer, Berlin, Heidelberg, New York, 2005."},{"issue":"3","key":"25_CR63","first-page":"31","volume":"11","author":"M. J. Wooldridge","year":"1998","unstructured":"Wooldridge, M. J.: Agents and Software Engineering. In: Journal AI*IA Notizie 11(1998)3, pp. 31\u201337.","journal-title":"Journal AI*IA Notizie"},{"key":"25_CR64","series-title":"Lecture Notes in Computer Science","volume-title":"Agent-Oriented Software Engineering (AOSE 2000)","author":"M. J. Wooldridge","year":"2000","unstructured":"Wooldridge, M. J.; Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P.; Wooldridge, M. (Eds.): Agent-Oriented Software Engineering (AOSE 2000). Lecture Notes in Computer Science 1957. Springer-Verlag, Berlin, 2000."},{"key":"25_CR65","unstructured":"Wooldridge, M.; Fisher, M.; Huget, M. P.; Parsons, S.: Model checking multiagent systems with mable. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). Bologna, Italy, 2002."}],"container-title":["International Handbooks on Information Systems","Multiagent Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32062-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T09:21:44Z","timestamp":1683537704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32062-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540314067"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/3-540-32062-8_25","relation":{},"subject":[]}}