BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
Talks about:
time (3) abstract (2) verifi (2) model (1) plug (1) atv (1)

Person: David E. Wallace

DBLP DBLP: Wallace:David_E=

Contributed to:

DAC 19881988
DAC 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.