TY  - JOUR
A1  - Polyvyanyy, Artem
T1  - Abstraction of process specifications
Y1  - 2010
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/30037
SN  - 978-3-86956-036-6
ER  -