AnáLISE Formal de Protocolos E Algoritmos DistribuíDoS: uma Abordagem Baseada EM Linguagem. - Carlos Bazilio Martins (2005)

Visualization of Description Logic Models. - Fernando Náufel do Amaral; Carlos Bazilio Martins (Description Logics, 2008)