Lihua Shi
2 published titles
An improved translation of SA/RT specification model to high-level timed Petri nets
1 edition
- Trinity College, Department of Computer Science
- 1995
- Details
Concurrent semantics for structured design methods
(Contributor)
1 edition
- Trinity College, Department of Computer Science
- 1996
- Details
