@Bibtex-file{SE/dimarzo.bib,
  title =        "Bibliography on Formal Methods for Distributed Systems
                 and Multi-Agent Systems",
  author =       "Giovanna Di Marzo Serugendo",
  email =        "Giovanna.Dimarzo@cui.unige.ch",
  address =      "University of Geneva\\centre Universitaire
                 d'Informatique\\24, rue G{\'e}n{\'e}ral-Dufour\\CH-1211
                 Genve 4\\Switzerland",
  supported =    "yes",
  abstract =     "The bibliography contains references to formal methods
                 applied to both object-oriented systems, multi-agent
                 systems, and mobile agents.. It focuses on high-level
                 Petri nets and process calculi.",
  readme =       "Some references are common to that of the EPFL Sofware
                 Engineering Lab Bibliography.",
  keywords =     "Formal methods, Petri nets, Multi-Agent Systems,
                 Mobile Agents",
}