Author:
Schlingloff Holger,Martens Axel,Schmidt Karsten
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Alternating-time Temporal Logic;Alur;Journal of the ACM,2002
2. Web Services and Service-Oriented Architectures;Barry,2003
3. Theory of regions;Badouel,1998
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献