%0 Conference Paper %1 conf/cade/BackemanWYD16 %A Backeman, Peter %A Wintersteiger, Christoph M. %A Yordanov, Boyan %A Dunn, Sara-Jane %B SMT@IJCAR %D 2016 %E King, Tim %E Piskac, Ruzica %I CEUR-WS.org %K dblp %P 41-50 %T Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. %U http://dblp.uni-trier.de/db/conf/cade/smt2016.html#BackemanWYD16 %V 1617

@inproceedings{conf/cade/BackemanWYD16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Backeman, Peter and Wintersteiger, Christoph M. and Yordanov, Boyan and Dunn, Sara-Jane}, biburl = {https://www.bibsonomy.org/bibtex/20e2a309a4d3c23d0e3af3768bf094569/dblp}, booktitle = {SMT@IJCAR}, crossref = {conf/cade/2016smt}, editor = {King, Tim and Piskac, Ruzica}, ee = {https://ceur-ws.org/Vol-1617/paper4.pdf}, interhash = {76cc73aee04c2e6aaf5dd1dcbb24d91b}, intrahash = {0e2a309a4d3c23d0e3af3768bf094569}, keywords = {dblp}, pages = {41-50}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cade/smt2016.html#BackemanWYD16}, volume = 1617, year = 2016 }