Scheffel, Torben2023-08-012023-08-012022https://epub.uni-luebeck.de/handle/zhb_hl/1242en4Expressiveness and complexity of stream-based specification languagesthesis.doctoral12503867561788403568urn:nbn:de:gbv:841-20210907283