Showing results 1 to 2 of 2
Title | Author(s) | Issue Date | |
---|---|---|---|
Model checking for design and assurance of e-Business processes Journal:Decision Support Systems | 2005 | ||
Standards and verification for fair-exchange and atomicity in e-commerce transactions Journal:Information Sciences | 2006 |