Model Checking, Synthesis, and Learning
3 contributors - Paperback
£54.99
Real-Time Systems
2 authors - Hardback
£83.00
