3
Publications
88
Citations
3
H-Index
1993
Active since
Affiliations
University of California, Berkeley(Current)
Huey-Yih Wang is an author at University of California, Berkeley specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceData PrivacyData ScienceVerificationData SecurityNetwork AnalysisCircuit ComplexityAutomated Reasoning
Publications per year
1993–1994
3
3
A. Aziz, Serdar Taşiran, Huey-Yih Wang et al. · 1994 · 57 citations
Permissible observability relations in FSM networks
Huey-Yih Wang, Robert K. Brayton · 1994 · 13 citations · Full text
Rows per page
1–3 of 3