Tools and Algorithms for the Construction and Analysis of Systems: 28th Internat
52,33 €
Probabilistic Systems. - Practical Applications of the Alternating Cycle Decomposition. - Equivalence Checking. - From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.
Jetzt bei Ebay:
