@InProceedings{BBC+07,
  author =       "J. Barnat and L. Brim and I. Cerna and S. Drazan and D.Safranek",
  title =        "Parallel Model-Checking Genetic Regulatory Networks",
  booktitle =    "Towards Systems Biology",
  publisher =    "Verimag",
  year =         "2007"
}