Ugur A. Sungurtekin, Herbert B. Voelcker. Graphical simulation & automatic verification of NC machining programs. In Proceedings of the 1986 IEEE International Conference on Robotics and Automation, San Francisco, California, USA, April 7-10, 1986. pages 156-165, IEEE, 1986. [doi]
Abstract is missing.