Author:
Alagić Suad,Bernstein Philip A.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Alagić, S.: Semantics of temporal classes, Information and Computation 163, pp. 60–102, 2000.
2. Lect Notes Comput Sci;S. Alagić,1998
3. Alagić, S. and M. Alagić, Order-sorted model theory for temporal executable specifications, Theoretical Computer Science 179, pp. 273–299, 1997.
4. Bernstein, P. A., A. Halevy, R. A. Pottinger: A vision for management of complex models, A CM SIGMOD Record 29(4), pp. 54–63, 2000.
5. Lect Notes Comput Sci;P.A. Bernstein,2000
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献