Robert B. Jerard, S. Z. Hussaini, Robert L. (Scot) Drysdale III, Barry Schaudt. Approximate methods for simulation and verification of numerically controlled machining programs. The Visual Computer, 5(6):329-348, 1989.
@article{JerardHDS89,
title = {Approximate methods for simulation and verification of numerically controlled machining programs},
author = {Robert B. Jerard and S. Z. Hussaini and Robert L. (Scot) Drysdale III and Barry Schaudt},
year = {1989},
tags = {program verification},
researchr = {https://researchr.org/publication/JerardHDS89},
cites = {0},
citedby = {0},
journal = {The Visual Computer},
volume = {5},
number = {6},
pages = {329-348},
}