TY  - RPRT
TI  - A Scheme to Verify Services with Unboundedly many Clients using NuSMV
AU  - S Sheerazuddin
AU  - S Anand
AU  - R S Anish Badhri
PY  - 2018
UR  - https://arxiv.org/abs/1812.00183
ID  - 1812.00183
ER  -