J. Y. Murzin. FAON: a functional abstractor of netlists. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 521-536, 1986.
@inproceedings{Murzin86,
title = {FAON: a functional abstractor of netlists},
author = {J. Y. Murzin},
year = {1986},
researchr = {https://researchr.org/publication/Murzin86},
cites = {0},
citedby = {0},
pages = {521-536},
booktitle = {SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France},
}