%0 Conference Paper %1 conf/pact/TolstrupNN05 %A Tolstrup, Terkel K. %A Nielson, Flemming %A Nielson, Hanne Riis %B PaCT %D 2005 %E Malyshkin, Victor E. %I Springer %K dblp %P 79-98 %T Information Flow Analysis for VHDL. %U http://dblp.uni-trier.de/db/conf/pact/pact2005.html#TolstrupNN05 %V 3606 %@ 3-540-28126-6

@inproceedings{conf/pact/TolstrupNN05, added-at = {2017-05-25T00:00:00.000+0200}, author = {Tolstrup, Terkel K. and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/25ea3169c0b558ad2f03d5a65c19fbfee/dblp}, booktitle = {PaCT}, crossref = {conf/pact/2005}, editor = {Malyshkin, Victor E.}, ee = {https://doi.org/10.1007/11535294_8}, interhash = {e9e7ce1f239ff88188a1f97d32af423f}, intrahash = {5ea3169c0b558ad2f03d5a65c19fbfee}, isbn = {3-540-28126-6}, keywords = {dblp}, pages = {79-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:47:11.000+0200}, title = {Information Flow Analysis for VHDL.}, url = {http://dblp.uni-trier.de/db/conf/pact/pact2005.html#TolstrupNN05}, volume = 3606, year = 2005 }