%0 Conference Paper %1 Brazier:1995:icmas %A Brazier, Frances %A Dunin Keplicz, Barbara %A Jennings, Nick R. %A Treur, Jan %B Proc. 1st Int'l Conf. on MultiAgent Systems %C San Francisco, CA %D 1995 %E Lesser, Victor %E Gasser, Les %I MIT Press %K imported thesis %P 25--32 %T Formal Specification of Multi-Agent Systems: A Real-World Case %U https://www.aaai.org/Papers/ICMAS/1995/ICMAS95-004.pdf %X In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems. %@ 0-262-62102-9

@inproceedings{Brazier:1995:icmas, abstract = {In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.}, added-at = {2017-03-16T11:50:55.000+0100}, address = {San Francisco, CA}, author = {Brazier, Frances and Dunin{ }Keplicz, Barbara and Jennings, Nick R. and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2d17ea94523328df5994b661ac13d6460/krevelen}, booktitle = {Proc. 1st Int'l Conf. on MultiAgent Systems}, crossref = {icmas:1995}, editor = {Lesser, Victor and Gasser, Les}, interhash = {be03834f954bc35ea06246171866a335}, intrahash = {d17ea94523328df5994b661ac13d6460}, isbn = {0-262-62102-9}, keywords = {imported thesis}, owner = {Rick}, pages = {25--32}, publisher = {MIT Press}, timestamp = {2017-03-16T11:54:14.000+0100}, title = {Formal Specification of Multi-Agent Systems: A Real-World Case}, url = {https://www.aaai.org/Papers/ICMAS/1995/ICMAS95-004.pdf}, year = 1995 }