Tackling specification problems for performance models
Nandamudi Lankalapalli Vijaykumar Carlos Renato Lisboa Francês; Solon Venâncio de Carvalho; Marcos José Santana; Regina Helena Carlucci Santana; Vakulathil Abdurahiman; Congress of Logic Applied to Technology (2. 2001 São Paulo)
Logic, artificial intelligence and robotics - LAPTEC 2001 São Paulo: Faculdade Senac de Ciências Exatas e Tecnologia, 2001São Paulo Faculdade SENAC de Ciências Exatas e Tecnologia 2001
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1221243 ) e outros locais(Acessar)