A Scheme to Verify Services with Unboundedly many Clients using NuSMV. - S. Sheerazuddin; S. Anand; R. S. Anish Badhri (CoRR, 2018)