Вы здесь
Zheng H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Operational Semantics of Hybrid Systems | 2005 | Lee E. A., Zheng H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 21.04.2005 | ||
| СТ | The Description of CORBA Objects Based on Petri Nets | 2002 | Zheng H., Li S. | Lecture Notes in Computer Science | 20.11.2002 | |||
| СТ | A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives | 1999 | Hatcliff J., Corbett J., Dwyer M., Sokolowski S., Zheng H. | Lecture Notes in Computer Science | 19.10.1999 |