Similar Listings
Reactive Systems: Modelling, Specification and Verification by Luca Aceto: New
Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli
Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli
Design, Specification and Verification of Interactive Systems `98 : Proceedin...
The Temporal Logic of Reactive and Concurrent Systems: Specification by Manna
Design, Specification and Verification of Interactive Systems `98 : Proceedin...
Temporal Verification of Reactive Systems: Safety by Manna
Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli