TY  - BOOK
AU  - Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
TI  - Transactions on Petri Nets and Other Models of Concurrency VII
SN  - 9783642381430
PY  - 2013///
PB  - Springer
KW  - Software Engineering; Computation by Abstract Devices; Logics and Meanings of Programs
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-642-38142-3
ER  -