Model Checking Temporal Logic Formulas Using Sticker Automata

Figure 24

Effect of reaction temperature on 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