@Bibtex-file{SE/modelling.concurrent.systems.bib,
  title =        "Bibliography on Modelling Concurrent Systems",
  author =       "Martin Leucker",
  email =        "leucker@in.tum.de",
  address =      "Institute for Informatics I4\\ TU Munich\\ Germany",
  abstract =     "This is the literature database of the Modelling
                 Concurrent Systems Group of Chair of Computer Science
                 II at RWTH Aachen",
  readme =       "The database is maintained by Martin Leucker. If you
                 find any errors or want to add a certain reference,
                 please, don't hesitate to contact me.",
}