Petri-Netze: Theoretische Modelle und Analysemethoden für gleichzeitige Systeme, ...
196,71 €
(, reachability, liveness, deadlock, and soundness). The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures.
Jetzt bei Ebay:
