Verimag

bibtex

@inproceedings{BGJ+07b,
    title = {Interactive presentation: Automatic hardware synthesis from specifications: a case study },
    author = {Bloem, Roderick and Galler, Stefan J. and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Weiglhofer, Martin},
    year = {2007},
    booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France},
    pages = {1188-1193},
    publisher = {ACM},
    team = {DCS},
}

Publication Sections


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

info visites 829631