TY  - RPRT
TI  - Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment
AU  - Wiktor B. Daszczuk
AU  - Maciej Bielecki
AU  - Jan Michalski
PY  - 2017
UR  - https://arxiv.org/abs/1710.02722
ID  - 1710.02722
ER  -