Model Checking, Synthesis, and Learning
3 contributors - Paperback
£54.99
Real-Time Systems
2 authors - Hardback
£83.00
Subscribe to our newsletter, and stay in the loop:
