Michael Brickenstein, Alexander Dreyer. Network-driven Boolean Normal Forms. In Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar, editors, Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
@inproceedings{BrickensteinD10, title = {Network-driven Boolean Normal Forms}, author = {Michael Brickenstein and Alexander Dreyer}, year = {2010}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2789/}, researchr = {https://researchr.org/publication/BrickensteinD10}, cites = {0}, citedby = {0}, booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010}, editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiène Tahar}, volume = {10271}, series = {Dagstuhl Seminar Proceedings}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, }