DBLP Record 'conf/woa/BaldoniBMPSTM05'

BibTeX

@inproceedings{DBLP:conf/woa/BaldoniBMPSTM05,
  author    = {Matteo Baldoni and
               Cristina Baroglio and
               Alberto Martelli and
               Viviana Patti and
               Claudio Schifanella and
               Laura Torasso and
               Viviana Mascardi},
  title     = {Personalization, Verification and Conformance for Logic-based
               Communicating Agents},
  booktitle = {WOA},
  year      = {2005},
  pages     = {177-183},
  ee        = {http://lia.deis.unibo.it/books/woa2005/papers/25.pdf},
  crossref  = {DBLP:conf/woa/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/woa/2005,
  editor    = {Flavio Corradini and
               Flavio De Paoli and
               Emanuela Merelli and
               Andrea Omicini},
  title     = {WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
               Workshop "From Objects to Agents": Simulation and Formal
               Analysis of Complex Systems, 14-16 November 2005, Camerino,
               MC, Italy},
  booktitle = {WOA},
  publisher = {Pitagora Editrice Bologna},
  year      = {2005},
  isbn      = {88-371-1590-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}