Bibtex de la publication

@Article{ Ko2001.3,
author = {Koné, Ousmane},
title = "{A local approach to thetesting of real-time systems}",
journal = {The Computer Journal},
publisher = {British ComputerSociety, Oxford Press},
year = {2001},
volume = {44},
pages = {435--447}
}