Structural testing for semaphore-based multithread programs
Felipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)
Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008
Acesso online. A biblioteca também possui exemplares impressos.