@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},
}