@InProceedings{VVC08,
  author =       "P. Va\v{r}ekov\'{a} and I. Va\v{r}ekov\'{a} and I. \v{C}ern\'{a}",
  title =        "Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems",
  booktitle =    "Proceedings of FACS'08",
  pages =        "41--55",
  year =         "2008",
  month =        "September"
}