1 Subjects: “...synthesis of mechanisms...”

2 Subjects: “...Formal Verification, Specification, Synthesis, and Testing...”

3 Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”

4 Subjects: “...high-level synthesis...”

5 Subjects: “...general synthesis problem...”

6 Subjects: “...high-level synthesis...”

7 Subjects: “...nucleotide and nucleoside synthesis...”

8 Subjects: “...synthesis...”

9 Subjects: “...?-synthesis...”