Lihua Shi

List of publications from the DBLP Bibliography Server - FAQ

1996

2 Lihua Shi, Paddy Nixon: An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. FME 1996: 518-537

1 Paddy Nixon, Lihua Shi: Concurrent semantics for structured design methods. Software Engineering for Parallel and Distributed Systems 1996: 158-169

1996
2		Lihua Shi, Paddy Nixon: An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. FME 1996: 518-537
1		Paddy Nixon, Lihua Shi: Concurrent semantics for structured design methods. Software Engineering for Parallel and Distributed Systems 1996: 158-169

Coauthor Index

1 Paddy Nixon (Patrick Nixon) [1] [2]