Finkel, AlainLeroux, Jérôme2018-01-052018-01-0520142014https://dl.gi.de/handle/20.500.12116/9242Wir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.Text/Journal Article1432-122X