Related Books
Language: en
Pages: 216
Pages: 216
Type: BOOK - Published: 2013-08-05 - Publisher: Springer
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on App
Language: en
Pages: 192
Pages: 192
Type: BOOK - Published: 2014-12-02 - Publisher: Springer
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in
Language: en
Pages: 311
Pages: 311
Type: BOOK - Published: 2009-03-27 - Publisher: Springer Science & Business Media
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other mode
Language: en
Pages: 435
Pages: 435
Type: BOOK - Published: 2013-04-22 - Publisher: Springer
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in
Language: en
Pages: 225
Pages: 225
Type: BOOK - Published: 2017-12-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3
