Petri Nets and Other Models of Concurrency - ICATPN 2007

This book constitutes the refereed proceedings ...

Transactions on Petri Nets and Other Models of Concurrency IX

These Transactions publish archival papers in t...

Transactions on Petri Nets and Other Models of Concurrency VIII

The 8th volume of ToPNoC contains revised and e...

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

This book constitutes the refereed proceedings ...

Concurrency and Hardware Design

As CMOS semiconductor technology strides toward...

Logic Synthesis for Asynchronous Controllers and Interfaces

This book is devoted to logic synthesis and des...

Hardware Design and Petri Nets

Hardware Design and Petri Nets presents a summa...

Transactions on Petri Nets and Other Models of Concurrency IX

These Transactions publish archival papers in t...

Hardware Design and Petri Nets

Hardware Design and Petri Nets presents a summa...

Transactions on Petri Nets and Other Models of Concurrency VIII

Logic Synthesis for Asynchronous Controllers and Interfaces

This book is the result of a long friendship, o...

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

This book constitutes the refereed proceedings ...