7 results on '"Yang, Guowu"'
Search Results
2. Inductive Method for Evaluating RFID Security Protocols
3. Identifying APT Malware Domain Based on Mobile DNS Logging
4. Modeling, Optimization, and Verification for Complex Systems
5. Terminal Satisfiability in GSTE
6. A Transformation-Based Approach to Implication of GSTE Assertion Graphs
7. Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.