Markopoulos - Design Specification and Verification of Interactive Sy - X555z

Design Specification and Verification of Interactive Systems '97

Design Specification and Verification of Interactive Systems '95

Design Specification and Verification of Interactive Systems '99

Interactive Systems. Design Specification and Verification 13th I

Interactive Systems. Design Specification and Verification 12th I

Specification and Compositional Verification of Real-Time Systems

Interactive Systems Design Specification and Verification 8th Int