[IEEE 2010 4th IEEE International Symposium on Theoretical...

  • Main
  • [IEEE 2010 4th IEEE International...

[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, Long
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2010
Language:
english
DOI:
10.1109/tase.2010.18
File:
PDF, 334 KB
english, 2010
Conversion to is in progress
Conversion to is failed