Вы здесь
Tsay Y. -K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Compositional Verification in Linear-Time Temporal Logic | 2000 | Tsay Y. -K. | Lecture Notes in Computer Science | 25.04.2000 | |||
| СТ | Assumption/Guarantee Specifications in Linear-Time Temporal Logic | 1995 | Jonsson B., Tsay Y. -K. | Lecture Notes in Computer Science | 16.06.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005 | 2005 | Lecture Notes in Computer Science |
|
06.12.2005 |