Author:
de Roever Willem-Paul,Lüttgen Gerald,Mendler Michael
Publisher
Springer Berlin Heidelberg
Reference56 articles.
1. Aguado, J., Mendler, M.: Constructive semantics for instantaneous reactions. Theoretical Computer Science (to appear, 2010); A preliminary version of this article is available as Tech. Rep. 63/2005, Univ. of Bamberg (2005)
2. Aguado, J., Mendler, M., Lüttgen, G.: A-maze-ing Esterel. In: SLAP ’03. ENTCS, vol. 88, pp. 21–37 (2004)
3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE ’01, pp. 109–120. ACM Press, New York (2001)
4. André, C.: Computing SyncCharts reactions. In: SLAP ’03. ENTCS, vol. 88, pp. 3–19 (2004)
5. Lecture Notes in Computer Science;M. Beeck von der,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献