@inproceedings{LangnerScheible2017,
  author    = {Kerstin Langner and J{\"u}rgen Scheible},
  title     = {Formal verification of a transistor PCell},
  booktitle = {PRIME 2017 : 13th Conference on PH.D. Research in Microelectronics and Eletronics : conference proceedings : 12th-15th June 2017, Giardini Naxos, Taormina, Italy},
  editor    = {Salvatore Pennisi},
  pages     = {205 -- 208},
  doi       = {10.1109/PRIME.2017.7974143},
  year      = {2017},
}