Schatz, Roland2020-08-212020-08-212014978-3-88579-418-9https://dl.gi.de/handle/20.500.12116/33809deTrace-basiertes Testen von nebenläufigen reaktiven Systemen1617-5468