Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises.

Tomasz Janowski, Hongjun Zheng, Gustavo Gimnez Lugo

Browse the full ICFEM paper archive.