Original language | English |
---|---|
Pages | 1-1 |
Number of pages | 1 |
Publication status | Published - 1994 |
Externally published | Yes |
The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets
Lihua Shi, Paddy Nixon
Research output: Contribution to conference (non-published works) › Other