Author:
Bai Wei,Tadjouddine Emmanuel,Payne Terry
Publisher
Springer International Publishing
Reference17 articles.
1. Bai, W., Tadjouddine, E.M.: Automated program translation in certifying online auctions. In: ETAPS/VpPT 2015, 11–18 April, London, UK (2015)
2. Bai, W., Tadjouddine, E.M., Guo, Y.: Enabling automatic certification of online auctions. arXiv preprint
arXiv:1404.0854
(2014)
3. Lecture Notes in Computer Science;W Bai,2014
4. Wiley series in agent technology;F Bellifemine,2007
5. Berners-Lee, T., Hendler, J., Lassila, O., et al.: The semantic web. Sci. Am. 284(5), 28–37 (2001)