Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 SDM00
%A Sack, H.
%A Dubrova, E.
%A Meinel, Ch.
%B Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000)
%D 2000
%K mypaper verification
%P pp. 341-348
%T Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams
%U http://www.minet.uni-jena.de/%7Esack/publications/iwls2001.pdf
@inproceedings{SDM00,
added-at = {2007-11-29T15:42:18.000+0100},
author = {Sack, H. and Dubrova, E. and Meinel, Ch.},
biburl = {https://www.bibsonomy.org/bibtex/22d5b4bfacd9179eb28be4d8f9381beac/lysander07},
booktitle = {Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000)},
date = {2000},
description = {Publications of Harald Sack},
interhash = {92bb5cff6efffd0a71c7c0df4ebef54c},
intrahash = {2d5b4bfacd9179eb28be4d8f9381beac},
keywords = {mypaper verification},
location = {Dana Point, CA, USA},
pages = {pp. 341-348},
timestamp = {2009-01-27T15:24:50.000+0100},
title = {Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams},
url = {http://www.minet.uni-jena.de/%7Esack/publications/iwls2001.pdf},
year = 2000
}