Publications Authored by Eric Van Wyk
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Algebraic Implementation of Model Checking | March 1996 | In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. | |||
| Is an MVE the Right Environment for Your Visualization Application? | May 1995 | Computer Graphics, vol 29, num 2, May 1995. |
