Author:
Tsigkritis Theocharis,Spanoudakis George
Subject
Law,General Computer Science
Reference52 articles.
1. Abduction with hypotheses confirmation;Alberti;International Joint Conference on Artificial Intelligence,2005
2. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
3. Realising the potential of SERENITY in emerging AmI ecosystems: implications and challenges;Armenteros,2009
4. Artho C, Schuppan V, Biere A, Eugster P, Baur, M, Zweimüller B. JNuke: efficient dynamic analysis for Java. 16th Int. Conf. On Computer Aided Verification, LNCS 3114; 2004. p. 462–5.
5. Baresi L, Guinea S. Towards dynamic monitoring of WS-BPEL Processes. 3rd Int. Conf. On Service Oriented Computing; 2005.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献