Login / Signup

Protocol synthesis in a state-transition model.

Peil-Ying M. ChuMing T. Liu
Published in: COMPSAC (1988)
Keyphrases