Author:
Jagadeesan Lalita Jategaonkar,Puchol Carlos,Olnhausen James E.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. AGEL workshop manual version 3.0, 1989. Produced by ILOG.
2. R. Alur, T. Feder, and T. Henzinger. The benefits of relaxing punctuality. Proc. ACM Symp. on Principles of Distributed Computing, 1991.
3. R. Alur and T. Henzinger. Time for logic. ACM SIGACT News, 22(3), 1991.
4. M. Ardis, John A. Chaves, L. Jagadeesan, P. Mataga, C. Puchol, M. Staskauskas, and J. Von Olnhausen. A framework for evaluating specification methods for reactive systems. In Proc. 17th Intl. Conf. on Software Engineering, April 1995.
5. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19:87–152, 1992.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献