Modeling and Formal Analysis of a Client-Server Application for Cloud Services
Keyword(s):
2013 ◽
Vol 4
(1)
◽
pp. 1-15
Keyword(s):
2020 ◽
Vol 10
(3-4)
◽
pp. 197-207
Keyword(s):
2007 ◽
pp. 1015-1021
Keyword(s):
1997 ◽
Vol 12
(3)
◽
pp. 187-196
◽