Björklund, HenrikMartens, WimSchweikardt, NicoleSchwentick, Thomas2018-01-052018-01-0520102010https://dl.gi.de/handle/20.500.12116/9564Logik und Automaten: ein echtes DreamteamText/Journal Article1432-122X