Verimag

bibtex

@inproceedings{LM15,
    title = { On Switching Aware Synthesis for Combinational Circuits },
    author = {L{\'{a}}n{\'{\i}}k, Jan and Maler, Oded},
    year = {2015},
    booktitle = {Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings},
    crossref = {DBLP:conf/hvc/2015},
    pages = {276--291},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/hvc/LanikM15}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


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

info visites 915601