A New Method for Automated Finite Model Building Exploiting Failures and Symmetries (1998)

Cached

Download Links

by Nicolas Peltier
Citations:6 - 2 self