bibtex

@inproceedings{JR13,
    title = {Preface },
    author = {Jobstmann, Barbara and Ray, Sandip},
    year = {2013},
    booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013},
    publisher = {IEEE},
    team = {DCS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899598