/dynamische-systeme/projekte/compositional-synthesis-of-abstractions-for-infinite-networks?tx_upatheme_mobilenav%5BpageUid%5D=132545&type=20190226&cHash=41f905055729bd3dbfd2b2f9ba335856