Specification of E-LOTOS Systems in the E-DART Environment

Lisandro Zambenedetti Granville, Maria Janilce B. Almeida. Specification of E-LOTOS Systems in the E-DART Environment. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 374-380, IEEE Computer Society, 1998. [doi]

Abstract

Abstract is missing.