Statistics
Publications
1
Citations
12
H-Index
1
Active since
2005
Affiliations
Ziyang Liu is an author at Techniques of Informatics and Microelectronics for Integrated Systems Architecture specializing in formal methods, model checking, and overhead analysis.
Publications per year
2005–2005
1
1