Author:
De Giacomo Giuseppe,Patrizi Fabio,Sardiña Sebastian
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference92 articles.
1. M. Abadi, L. Lamport, P. Wolper, Realizable and unrealizable specifications of reactive systems, in: Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP), 1989, pp. 1–17.
2. Web Services. Concepts, Architectures and Applications;Alonso,2004
3. Alternating-time temporal logic;Alur;Journal of the ACM,2002
4. R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran, MOCHA: Modularity in model checking, in: Proceedings of the International Conference Computer Aided Verification (CAV), 1998, pp. 521–525.
5. Symbolic controller synthesis for discrete and timed systems;Asarin,1995
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献