has been cited by the following article(s):
[1]
|
Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN
Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication - IMCOM '18,
2018
DOI:10.1145/3164541.3164602
|
|
|
[2]
|
Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN
Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication,
2018
DOI:10.1145/3164541.3164602
|
|
|