search author

DBLP BibTeX Record 'conf/woa/ChesaniCMMTAS05'

@inproceedings{DBLP:conf/woa/ChesaniCMMTAS05,
  author    = {Federico Chesani and
               Anna Ciampolini and
               Paola Mello and
               Marco Montali and
               Paolo Torroni and
               Marco Alberti and
               Sergio Storari},
  title     = {Protocol Specification and Verification by Using Computational
               Logic},
  booktitle = {WOA},
  year      = {2005},
  pages     = {184-192},
  ee        = {http://lia.deis.unibo.it/books/woa2005/papers/26.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}
}