Tilman Kolks

	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

Coauthor Index

1	Gjalt G. de Jong	[2] [3]
2	Bill Lin	[1] [2] [3]
3	Hugo De Man	[1] [2]
4	Eric Verlind	[2]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page