Paper: Towards Deductive Synthesis of Dataflow Networks (at LICS 1986)
Authors: Bengt Jonsson Zohar Manna Richard J. WaldingerAbstract
No Abstract Available
BibTeX
@InProceedings{JonssonMannaWalding-TowardsDeductiveSyn, author = {Bengt Jonsson and Zohar Manna and Richard J. Waldinger}, title = {Towards Deductive Synthesis of Dataflow Networks}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {26--37}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }