Automated verification of e-commerce protocols for complex transactions
CV Bîrjoveanu, M Bîrjoveanu - International Conference on E-Business …, 2018 - Springer
In our previous work [8] we defined complex transactions as the combination in any form of
aggregate and optional transactions. The solution from [8] proposes an e-commerce …
aggregate and optional transactions. The solution from [8] proposes an e-commerce …
Automated Verification of E-Commerce Protocols for Complex Transactions
C Automotive - E-Business and Telecommunications - Springer
In our previous work [8] we defined complex transactions as the combination in any form of
aggregate and optional transactions. The solution from [8] proposes an e-commerce …
aggregate and optional transactions. The solution from [8] proposes an e-commerce …