TY  - RPRT
TI  - How to Extend the Abstraction Refinement Model for Systems with Emergent Behavior ?
AU  - Mohamed Toufik Ailane
AU  - Christoph Knieke
AU  - Andreas Rausch
PY  - 2022
UR  - https://arxiv.org/abs/2208.13471
ID  - 2208.13471
ER  -