|
Professor Dr. Ir. H.J. Broersma
Chair of Programmable Nanosystems
Member of the Research Group Formal Methods and Tools
Faculty Electrical Engineering, Mathematics and Computer Science
Research Institutes
CTIT and MESA+
University of Twente
Recent Publications
Older work from the time I worked at Durham, UK (2004-2010) can be found at my
old Durham home page
Even older work is from my time at the DMMP group in Twente;
check my old Twente home page for details
|