![]() | ![]() |
| 1995 | ||
|---|---|---|
| 3 | Bill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717 | |
| 1994 | ||
| 2 | Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man: A Time Abstraction Method for Efficient Verification of Communicating Systems. DAC 1994: 609-614 | |
| 1993 | ||
| 1 | Tilman Kolks, Bill Lin, Hugo De Man: Sizing and verification of communication buffers for communicating processes. ICCAD 1993: 660-664 | |
| 1 | Gjalt G. de Jong | [2] [3] |
| 2 | Bill Lin | [1] [2] [3] |
| 3 | Hugo De Man | [1] [2] |
| 4 | Eric Verlind | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page