bibtex

@article{DJ01,
    title = { Efficient Automated Trace Analysis: Examples with Morphine },
    author = {Ducass\'e, Mireille and Jahier, Erwan},
    year = {2001},
    journal = {Electr. Notes Theor. Comput. Sci.},
    number = {2},
    volume = {55},
    team = {irisa/lande},
    pdf = {http://www.sciencedirect.com/science/article/pii/S1571066104002488/pdf?md5=1aeadb9a18ee3ec6733b2e42480882b9&pid=1-s2.0-S1571066104002488-main.pdf},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1309877