Lihua Shi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 2 from 2 records - Lihua Shi has 1 coauthors

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