| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1981 | |
|---|---|---|
| 4 |      | Robert D. Braun, Donald D. Givone: A Generalized Algorithm for Constructing Checking Sequences. IEEE Trans. Computers 30(2): 141-144 (1981) |
| 1979 | ||
| 3 |  | Joseph G. Tront, Donald D. Givone: A Design for Multiple-Valued Logic Gates Based on MESFET's. IEEE Trans. Computers 28(11): 854-862 (1979) |
| 2 | | Robert D. Braun, Donald D. Givone: An Improved Algorithm for Deriving Checking Experiments. IEEE Trans. Computers 28(2): 153-156 (1979) |
| 1968 | ||
| 1 | | Charles M. Allen, Donald D. Givone, William M. Horner, Robert W. Snelsire: A syntax-directed logic simulator. DAC 1968 |
| 1 | Charles M. Allen | [1] |
| 2 | Robert D. Braun | [2] [4] |
| 3 | William M. Horner | [1] |
| 4 | Robert W. Snelsire | [1] |
| 5 | Joseph G. Tront | [3] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page