About this scholarly article

2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Generation of Implied Constraints for Automaton-Induced Decompositions by Rodriguez, Maria Andreina Francisco; Flener, Pierre; Pearson, Justin is a scholarly article available to read on EtoBox.

Author

Rodriguez, Maria Andreina Francisco; Flener, Pierre; Pearson, Justin

Publisher

IEEE

Published

2013