@inproceedings{inproceedings0c9122d2,
title   = {Tackling specification problems for performance models},
author = {Vijaykumar, Nandamudi Lankalapalli and Francês, Carlos Renato Lisboa and Carvalho, Solon Venâncio de and Santana, Marcos José and Santana, Regina Helena Carlucci and Abdurahiman, Vakulathil},
year = {2001},
publisher = {Faculdade SENAC de Ciências Exatas e Tecnologia},
booktitle   = {Congress of Logic Applied to Technology}
}