Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 22nd International Workshop, PATMOS 2012, Newcastle upo (Paperback)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, Patmos 2012, Newcastle Upon (Paperback, 2013)
Petri Nets and Other Models of Concurrency-ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Con (Paperback)