Similar Listings
Specifying Systems: The TLA+ Language and Tools for Hardware and Software En...
Systems and Software Verification: Model-Checking Techniques and Tools Berard, B
Systems and Software Verification: Model-Checking Technique
Systems and Software Verification : Model-Checking Techniques and Tools, Hard...
Systems and Software Verification : Model-Checking Techniques and Tools, Hard...
Systems and Software Verification: Model-Checking Techniques and Tools by Berard
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber