@inproceedings{inproceedings7ad309f4,
title   = {HIV drug resistance analysis tool based on process algebra},
author = {Araújo, Luciano Vieira de and Sabino, Ester Cerdeira and Ferreira, João Eduardo},
year = {2008},
doi = {10.1145/1363686.1364001},
publisher = {ACM},
booktitle   = {Symposium on Applied Computing - SAC}
}