Transactions on Petri Nets and Other Models of Concurrency VIII: 8 (Lecture Notes in Computer Science)

by Maciej Koutny (Editor), Alex Yakovlev (Editor), Alex Yakovlev (Editor), Maciej Koutny (Editor), Wil M. P. van der Aalst (Editor)

• New

  Paperback
  2013

  $67.47

  This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system verification, refinement and synthesis, and innovative applications.