Dynamic Logic with Parallel Operator for Verifying Communication Protocols | Digital Library | PAMCET

Dynamic Logic with Parallel Operator for Verifying Communication Protocols | Digital Library | PAMCET | PAMCET