Kutrib, MartinMartinKutrib2022-09-122003-08-212022-09-122001http://nbn-resolving.de/urn:nbn:de:hebis:26-opus-12028https://jlupub.ub.uni-giessen.de/handle/jlupub/7543http://dx.doi.org/10.22029/jlupub-6977enIn Copyrightddc:004Refining Nondeterminism Below Linear-Time