Towards Verification of Dialogue Protocols: A Mathematical Model

From MaRDI portal
Publication:2814138