Rosiane de Freitas

Diese Studie untersucht, wie Intervallanalyse die Effektivität des Bounded Model Checking verbessert.

Ein Überblick über Prioritätswarteschlangen, die bei der Suche nach den kürzesten Wegen in Netzwerken verwendet werden.