Nicolas Navet

Livros
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013