Shipei Zhang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

2 Shipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS 1994: 154-163

1992

1 Shipei Zhang, Scott A. Smolka: Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135

	1994
2		Shipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS 1994: 154-163
	1992
1		Shipei Zhang, Scott A. Smolka: Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135

Coauthor Index

1 Scott A. Smolka [1] [2]

2 Oleg Sokolsky [2]