Search

Your search keyword '"Wu, Xiongnan (Newman)"' showing total 9 results

Search Constraints

Start Over You searched for: Author "Wu, Xiongnan (Newman)" Remove constraint Author: "Wu, Xiongnan (Newman)"
9 results on '"Wu, Xiongnan (Newman)"'

Search Results

1. Solving Modular Model Expansion: Case Studies

2. Enfragmo: A System for Modelling and Solving Search Problems with Logic

3. Grounding Formulas with Complex Terms

4. Building certified concurrent OS kernels

5. Certified concurrent abstraction layers

Catalog

Books, media, physical & digital resources