Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Reactive Systems: Modelling, Specification and Verification by Luca Aceto: New

Reactive Systems: Modelling, Specification And Verification By Luca Aceto

Piecewise-smooth Dynamical Systems: Theory and Applications by Chris Budd (Engli

Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Temporal Verification of Reactive Systems - 9781461287018

Radiotherapy Treatment Planning: New System Approaches by Olivier C. Haas (Engli

MiG Alley to Mu Ghia Pass: Memoirs of a Korean War Ace by Cecil G. Foster (Engli