Wil M. P. van der Aalst

Transactions on Petri Nets and Other Models of Concurrency II - 2009

978-3-642-00899-3


Models and Principles
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Computer Science