Tilman Kolks

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1995
c3		Bill Lin, Gjalt G. de Jong, Tilman Kolks: Hierarchical Optimization of Asynchronous Circuits. DAC 1995: 712-717
	1994
c2		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
c1		Tilman Kolks, Bill Lin, Hugo De Man: Sizing and verification of communication buffers for communicating processes. ICCAD 1993: 660-664

Coauthor Index

Last update Sun May 19 16:44:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page