BibTeX record conf/hvc/LanikM15

download as .bib file

@inproceedings{DBLP:conf/hvc/LanikM15,
  author    = {Jan L{\'{a}}n{\'{\i}}k and
               Oded Maler},
  title     = {On Switching Aware Synthesis for Combinational Circuits},
  booktitle = {Haifa Verification Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {9434},
  pages     = {276--291},
  publisher = {Springer},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics