Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner

Jones - Symposium on Real-Time and Hybrid Systems Essays Dedicated t - X555z

Kreowski - Formal Methods in Software and Systems Modeling Essays De - X555z

Greenway - Tradition and Change Essays in Honour of Marjorie Chibnall - X555z

Katoen - Formal Methods for Real-Time and Probabilistic Systems 5th - X555z

Kropf - Formal Hardware Verification Methods and Systems in Comparis - X555z

Britnell - Progress and Problems in Medieval England Essays in Honour - X555z

Kamteka - Virtue and Happiness Essays in Honour of Julia Annas - New - X555z