bibtex

@inproceedings{JDR0,
    title = {Sp{\'e}cification de mod{\`e}les de traces {\`a} l'aide d'une s{\'e}mantique par continuations },
    author = {Jahier, Erwan and Ducass\'e, Mireille and Ridoux, Olivier},
    year = {2000},
    booktitle = {Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France},
    pages = {67-84},
    publisher = {Hermes},
    team = {irisa/lande},
}


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

info visites 4190656