Author:
Benveniste Albert,Caspi Paul,Guernic Paul Le,Marchand Hervé,Talpin Jean -Pierre,Tripakis Stavros
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric Real-time Reasoning. In Proc. of the 25th Annual Symposium on Theory of Computing (STOC), ACM Press, 1993, pp. 592–601.
2. R. Bannatyne. Time Triggered Protocol: TTP/C, Embedded Systems Programming, 9/98, pp. 52–54.
3. Lect Notes Comput Sci;A. Benveniste,1999
4. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 163, 125–171 (2000).
5. Lect Notes Comput Sci;A. Benveniste,2001
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献