Search results for: J. Hu
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Formal Verification for Software > 169-184
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 237-252
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Clocking Issues > 126-139
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 372-390
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Invited Talks > 1-7
Lecture Notes in Computer Science > Computer Aided Verification > Session XII: Abstraction > 366-378
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Communications in Computer and Information Science > Computational Intelligence and Intelligent Systems > Section IX: Predictive Modeling for Classification > 472-481
Shock Waves > Multiphase Flow > 919-924
New Trends in Fluid Mechanics Research > Hydrodynamic > 382-382
Human Genomics > 2016 > 10 > 1 > 1-40