Similar Listings
Systems and Software Verification : Model-Checking Techniques and Tools, Hard...
Systems and Software Verification: Model-Checking Technique
Systems and Software Verification: Model-Checking Techniques and Tools by Berard
SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001
Systems and Software Verification: Model-Checking Techniques and Tools Berard, B
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
Modeling and Verification of Real-time Systems: Formalisms and Software Tools b