Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System.

Christoph Greulich, Stefan Edelkamp

Browse the full ICAART paper archive.