Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order.

Leifeng He, Guanjun Liu

Browse the full TASE paper archive.