DBLP Record 'conf/woa/HannotinMS01'

BibTeX

@inproceedings{DBLP:conf/woa/HannotinMS01,
  author    = {Xavier Hannotin and
               Paolo Maggi and
               Riccardo Sisto},
  title     = {Using Process Algebras to Formally Specify Mobile Agent
               Data Integrity Properties: A Case Study},
  booktitle = {WOA},
  year      = {2001},
  pages     = {36-41},
  crossref  = {DBLP:conf/woa/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/woa/2001,
  editor    = {Andrea Omicini and
               Mirko Viroli},
  title     = {WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint
               Workshop "From Objects to Agents": Evolutive Trends of Software
               Systems, 4-5 September 2001, Modena, Italy},
  booktitle = {WOA},
  publisher = {Pitagora Editrice Bologna},
  year      = {2001},
  isbn      = {88-371-1272-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}