Path Invariants (2006)

by Dirk Beyer , Thomas A. Henzinger , Rupak Majumdar , Andrey Rybalchenko
Citations:31 - 3 self