A Method for Building Models Automatically. Experiments with an extension of OTTER (1994)

Cached

Download Links

by Christophe Bourely , Ricardo Caferra , Nicolas Peltier
Venue:In Proceedings of CADE-12
Citations:28 - 14 self