Author:
Mousa Mahmoud A. A.,Schewe Sven,Wojtczak Dominik
Publisher
Springer International Publishing
Reference28 articles.
1. EnergyPlus: Building energy simulation program. https://energyplus.net/
2. IBPT: International building physics toolbox in simulink. http://www.ibpt.org/
3. TRaNsient SYstems simulation program. http://sel.me.wisc.edu/trnsys/
4. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995)
5. Lecture Notes in Computer Science;R Alur,1993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Strong NP-Completeness of Rational Problems;Computer Science – Theory and Applications;2018