@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|