I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.
@article{ACL-02:vasco-18,
Author = {Parissis, I.},
Title = {{Test de spécifications de logiciels synchrones}},
Journal = {Technique et Science Informatiques},
Volume = {21(9)},
Pages = {1243--1264},
Year = {2002}
}
Get EndNote Reference (.ref)