@inproceedings{conf/iccS/SarmanhoSSS08,
title = {Structural Testing for Semaphore-Based Multithread Programs.},
author = {Felipe S. Sarmanho and Paulo Sergio Lopes de Souza and Simone do Rocio Senger de Souza and Adenilso da Silva Simão},
booktitle = {ICCS (1)},
crossref = {conf/iccS/2008-1},
editor = {Marian Bubak and G. Dick van Albada and Jack Dongarra and Peter M. A. Sloot},
pages = {337-346},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/iccS/iccS2008-1.html#SarmanhoSSS08},
volume = {5101},
year = {2008},
description = {dblp},
date = {2008-06-30}, ee = {http://dx.doi.org/10.1007/978-3-540-69384-0_39}, isbn = {978-3-540-69383-3},
keywords = {dblp }
}
::