Yinxue Ma

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks	2013	Zhe Chen Daqiang Zhang Rongbo Zhu Yinxue Ma Ping Yin Feng Xie

Common Coauthors

Coauthor	Papers Together
Ping Yin	1
Feng Xie	1
Rongbo Zhu	1
Daqiang Zhang	1
Zhe Chen	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	On the Generative Power of ω-Grammars and ω-Automata	2011	Zhe Chen	1