Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers Ayala, José L. Heftet / 2013 / Engelsk
Transactions on Petri Nets and Other Models of Concurrency VIII Koutny Maciej Heftet / 2013 / Engelsk
Logic Synthesis for Asynchronous Controllers and Interfaces Cortadella, J. Innbundet / 2002 / Engelsk
