Вы здесь
Cheung T. -Y.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Handling Synchronization Problem in Petri Net-Based System Design by Property-Reserving Transition-Reduction | 2005 | Jiao L., Cheung T. -Y., Lu W. | The Computer Journal | 20.12.2005 | |||
СТ | Five Classes of Invariant-Preserving Transformations on Colored Petri Nets | 1999 | Cheung T. -Y., Lu Y. | Lecture Notes in Computer Science | 16.07.1999 |