TY  - JOUR
A1  - Banach, Richard
A1  - Schellhorn, Gerhard
T1  - On the refinement of atomic actions
T2  - Electronic Notes in Theoretical Computer Science
Y1  - 2021
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/83607
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-836078
VL  - 201
SP  - 3
EP  - 30
PB  - Elsevier
CY  - Amsterdam
ER  -