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

Lisandro Zambenedetti Granville, Maria Janilce B. Almeida

Browse the full COMPSAC paper archive.