"Molecular Model Checking."

E. Allen Emerson, Kristina D. Hager, Jay H. Konieczka (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics