Basic protocols, message sequence charts, and the verification of requirements specifications

From MaRDI portal