论文信息 - Automated Veri(cid:12)cation of an Audio Control Protocol Using U PPAAL - 字舞流文

Automated Veri(cid:12)cation of an Audio Control Protocol Using U PPAAL

J. Bengtsson | K. Larsen | P. Pettersson | W. Yi | F. Larsson | W. O. D. GriÆoen | J. K. ersen