Tools and Algorithms for the Construction and Analysis of Systems: 4th Internati
67,86 €
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. Short Title TOOLS & ALGORITHMS FOR THE CON. Formal verification of pipelined processors.
Jetzt bei Ebay: