Publication Records

2008

1. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

   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.

   More: https://is.muni.cz/publication/788377/en