Hazem El-Gendy, Hoda Baraka. Transformation of Lotos specifications to Estelle specifications. In Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), July 1-3, 1997, Alexandria, Egypt. pages 215-220, IEEE Computer Society, 1997. [doi]
Abstract is missing.