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

Original languageEnglish
Pages1-1
Number of pages1
Publication statusPublished - 1994
Externally publishedYes

Cite this