@inproceedings{VVC08,
 author = {Pavlína Vařeková and Ivana Černá},
 booktitle = {Proceedings of FACS'08},
 month = {September},
 pages = {41--55},
 title = {Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems},
 year = {2008}
}