Corrections to "Algorithmic Aspects of MOS VLSI Switch-Level Simulation with Race Detection"

In the above Paper [1] the following typographical errors should be corrected.