Back to Results
First PageMeta Content



A generalization of termination conditions for partial model completion Fazle Rabbiab , Yngve Lamoa , Lars Michael Kristensena , and Ingrid Chieh Yub a Bergen University College, Bergen, Norway
Add to Reading List

Document Date: 2015-10-05 07:15:11


Open Document

File Size: 397,88 KB

Share Result on Facebook