@STRING{memocode= {ACM \& IEEE International Conference on Formal Methods and Models for Codesign}}
@inproceedings{CGD:2017b,
  author    = {Arun Chandrasekharan and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Yise - A novel Framework for Boolean Networks using {Y}-Inverter Graphs},
  booktitle = memocode,
  year      = {2017},
  pages     = {114-117}
}