Author:
Gupta Vineet,Jagadeesan Radha,Saraswat Vijay
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. A. Benveniste and G. Berry, editors. Another Look at Real-time Systems, September 1991. Special issue of the Proceedings of the IEEE.
2. G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.
3. A. Benveniste and P. Le Guernic. Hybrid dynamical systems and the signal language. IEEE Transactions on Automatic control, 35(5):535–546, 1990.
4. G. Berry and G. Gonthier. The Esterel programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87–152, November 1992.
5. E. M. Clarke, D. E. Long, and K. L. McMillan. A language for compositional specification and verification of finite state hardware controllers. In Benveniste and Berry [BB91]. Special issue of the Proceedings of the IEEE.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献