@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},
}
