@InProceedings{BBCS05,
  author =       "J. Barnat and L. Brim and I. \v{C}ern\'{a} and P. \v{S}ime\v{c}ek",
  title =        "{D}i{V}in{E} -- {T}he {D}istributed {V}erification {E}nvironment",
  booktitle =    "Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation",
  pages =        "89--94",
  year =         "2005",
  editor =       "M. Leucker and J. van de Pol",
  month =        "July"
}