![](/img/cover-not-exists.png)
[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic
Zhang, Hai-bin, Duan, Zhenhua, Huang, Bohu, Wang, Xiaobing, Zhang, LongYear:
2010
Language:
english
DOI:
10.1109/tase.2010.18
File:
PDF, 334 KB
english, 2010