Modeling and Verification of Real-time Systems: Formalisms and Software Tools by Nicolas Navet Back to product details page >
