Deciding Global Partial-Order Properties (1998)

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