Deciding Global Partial-Order Properties (1998)

by Rajeev Alur , Ken McMillan , Doron Peled
Citations:4 - 2 self