Yinhua Lü

	2005
1		Yinhua Lü, Xiaorong Chen, Luming Fang, Hangjun Wang: Towards a Symbolic Bisimulation for the Spi Calculus. MSN 2005: 1095-1102

Coauthor Index

1	Xiaorong Chen	[1]
2	Luming Fang	[1]
3	Hangjun Wang	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page