Transactions on Petri Nets and Other Models of Concurrency VIII |
|
| Editor:
| Koutny, Maciej
van der Aalst, Wil M. P.
Yakovlev, Alex |
| Series title: | Lecture Notes in Computer Science Ser. |
| ISBN: | 978-3-642-40464-1 |
| Publication Date: | Aug 2013 |
| Publisher: | Springer Berlin / Heidelberg
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $54.99 |
Book Description:
|
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.
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.