Tools and Algorithms for the Construction and Analysis of Systems: 11th Internat
123,08 €
Invited Paper. - Applications of Craig Interpolants in Model Checking. - Regular Model-Checking. - Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. - Simulation-Based Iteration of Tree Transducers.
Jetzt bei Ebay: