Author:
Fisher Jasmin,Henzinger Thomas A.,Nickovic Dejan,Piterman Nir,Singh Anmol V.,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alur, R., Grosu, R.: Dynamic Reactive Modules. Tech. Rep. 2004/6, Stony Brook (2004)
2. Alur, R., Henzinger, T.A.: Reactive modules. FMSD 15(1), 7–48 (1999)
3. Attie, P.C., Lynch, N.A.: Dynamic input/output automata, a formal model for dynamic systems. In: PODC, pp. 314–316 (2001)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Colaço, J.-L., Girault, A., Hamon, G., Pouzet, M.: Towards a higher-order synchronous data-flow language. In: EmSoft, pp. 230–239. ACM, New York (2004)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献