Similar Listings
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 (Engli
Reactive Systems Modelling, Specification and Verification Aceto Ingólfsdóttir
Design, Specification and Verification of Interactive Systems `98 : Proceedin...
Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli
Design, Specification and Verification of Interactive Systems `98 : Proceedin...
Temporal Verification of Reactive Systems: Safety by Manna