260
views
0
recommends
+1 Recommend
1 collections
    3
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards Formal Methods for Agent-Based Systems

      proceedings-article

      ,

      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)

      Northern Formal Methods

      23-24 September 1996

      Bookmark

            Content

            Author and article information

            Contributors
            Conference
            September 1996
            September 1996
            : 1-10
            Affiliations
            [0001]Department of Computing, Manchester Metropolitan University

            Manchester M1 5GD, United Kingdom
            [0002]Mitsubishi Electric Digital Library Group

            18th Floor, Centre Point, 103 New Oxford St.

            LondonWC1A 1EB, United Kingdom
            Article
            10.14236/ewic/FA1996.8
            d093f2f9-35fa-48cc-90de-68cd4d2e5522
            © Michael Fisher et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the BCS-FACS Northern Formal Methods Workshop
            NFM
            Ilkley, UK
            23-24 September 1996
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article