Travelled to:1 × USA
Collaborated with:C.H.Séquin
Talks about:time (3) abstract (2) verifi (2) model (1) plug (1) atv (1)
Person: David E. Wallace
DBLP: Wallace:David_E=
Contributed to:
19881986Wrote 2 papers:
- DAC-1988-WallaceS #named #verification
- ATV: An Abstract Timing Verifier (DEW, CHS), pp. 154–159.
- DAC-1986-WallaceS #modelling #plugin #verification
- Plug-in timing models for an abstract timing verifier (DEW, CHS), pp. 683–689.