Author:
Bentahar Jamal,Yahyaoui Hamdi,Kova Melissa,Maamar Zakaria
Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference53 articles.
1. Interactive conflict detection and resolution for personalized features;Amyot;Journal of Communications and Networks,2005
2. Model checking for design and assurance of e-business processes;Anderson;Decision Support Systems,2005
3. Standards and verification for fair-exchange and atomicity in e-commerce transactions;Anderson;Information Sciences,2006
4. Principles of model checking;Baier,2008
5. How to track composite web services? A solution based on the concept of view;Benslimane;Journal of Electronic Commerce Research,2006
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献