Proc. of the 2nd FORmal TEchniques Symposium (Vancouver, December 1989).
(1989)
Gueraichi, L., and Logrippo, L. (1989)
Gueraichi, L., and Logrippo, L. "Derivation of Test Cases for LAP-B from a LOTOS Specification"