MORAVCOVÁ VAŘEKOVÁ, Pavlína,
Ivana VAŘEKOVÁ and
Ivana ČERNÁ. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In
Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008, p. 41-55. ISSN 1571-0661.