Reachability Problems

In diesem Sammelband werden die neuesten Forschungsergebnisse zum Erreichbarkeitsproblem vorgestellt, die beim siebten internationalen Workshop in Uppsala im September 2013 präsentiert wurden; der Text beleuchtet neue Methoden zur Analyse von Zustandsräumen und deren Anwendung in verteilten Systemen.

Teilen: