Formal Specifications of Telephone Systems in LOTOS.

Mohammed Faci Luigi Logrippo Bernard Stepien Formal Specifications of Telephone Systems in LOTOS. 25-34 1989 conf/pstv/1989 PSTV db/conf/pstv/pstv1989.html#FaciLS89