Validation of a solution model for the optimization of a binary batch distillation column | IEEE Conference Publication | IEEE Xplore