Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 26

Effect of reaction temperature on specific hybridization for : forming complete double strands (rate of unpaired bases).

(a) From 0 degrees Celsius to 10 degrees Celsius

(b) From 10 degrees Celsius to 40 degrees Celsius

(c) From 40 degrees Celsius to 70 degrees Celsius

(d) From 70 degrees Celsius to 100 degrees Celsius