1. Repositório PUCRS
  2. PUBLICAÇÕES CIENTÍFICAS
  3. Apresentação em Evento
Please use this identifier to cite or link to this item: https://hdl.handle.net/10923/14031
Type: conferenceObject
Title: Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School
Author(s): Rafael Heitor Bordini
In: Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Revised Selected and Invited Papers, 2011, Alemanha.
Issue Date: 2012
URI: http://hdl.handle.net/10923/14031
Appears in Collections:Apresentação em Evento

Files in This Item:
File Description SizeFormat 
Agent_and_Multi_Agent_Software_Engineering_Modelling_Programming_and_Verification_Extended_Abstract_for_a_Course_at.pdf73,39 kBAdobe PDFOpen
View
Show full item record See statistics Search for other versions of fulltext via SFX


All Items in PUCRS Repository are protected by copyright, with all rights reserved, and are licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. Read more.