Automated Technology for Verification and Analysis
2 contributors - Paperback
£59.99
Formal Modeling and Analysis of Timed Systems
£44.99
£64.99