1 paper · 2 filters
S Sheerazuddin, S Anand, R S Anish Badhri
We study model checking of client - server systems, where the servers offer several types of services that may depend, at any time, on how many clients of specific types are active…