2
Publications
146
Citations
2
H-Index
1978
Active since
Affiliations
The University of Texas at Austin(Current)
Yong-Chai Choed-Amphai is an author at The University of Texas at Austin specializing in computer engineering, engineering, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystem-level DesignSystems EngineeringAsynchronous SystemsComputer Engineering
Publications per year
1978–1978
2
2
A Synthesis Rule for Concurrent Systems
Tilak Agerwala, Yong-Chai Choed-Amphai · 1978 · 66 citations
Rows per page
1–2 of 2