Dill, David L.
Dill, David
ديفيد ديل عالم حاسوب أمريكي
VIAF ID: 93678261 ( Personal )
Permalink: http://viaf.org/viaf/93678261
Preferred Forms
- 200 _ | ‡a Dill ‡b David
-
- 100 1 _ ‡a Dill, David
-
-
- 100 1 _ ‡a Dill, David L.
-
-
- 100 1 _ ‡a Dill, David L.
-
-
- 100 0 _ ‡a ديفيد ديل ‡c عالم حاسوب أمريكي
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
CAV'94 | |
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings | |
Computer aided verification / David L. Dill (ed.). - Berlin, 1994. | |
Synchronization design for digital systems, c1991: | |
Trace theory for automatic hierarchical verification of speed-independent circuits |