@misc{ cor99,
  author = "F. Corno et al",
  title = "{RT-Level ITC 99 Benchmarks and First ATPG Results}",
  year = "1999" }
@misc{ yang91logic,
  author = "S. Yang",
  title = "{Logic Synthesis and Optimization Benchmarks User Guide Version 3.0}",
  year = "1991" }
@misc{ bryan85,
  author = "D. Bryan",
  title = "{Description of Iscas85 circuits}",
  year = "1988" }
@misc{ brg89,
  author = "F. Brglez et al",
  title = "{Combinational Profiles of Sequential Benchmark Circuits}",
  year = "1991" }
@misc{ espresso,
    title = "Input file format for Espresso (PLA-file)",
    key = "PLA format manual",
    howpublished = "\url{http://www.engineering.uiowa.edu/~switchin/espresso.5.html}",
}
@misc{ blif,
    title = "{Berkeley Logic Interchange Format (BLIF)}",
    key = "Berkeley Logic Interchange Format (BLIF)",
    howpublished = "\url{http://embedded.eecs.berkeley.edu/research/vis/blif.ps}",
}
@misc{ slif,
    title = "{SLIF - Structure Logic Intermediate Format}",
    key = "SLIF - Structure Logic Intermediate Format",
}
@book{ vhdl,
    author = "J. Douša",
    title = "{Jazyk VHDL}",
    year = "2003",
    publisher = "České vysoké učení technické v Praze"
}
@book{ testing,
    author = "G. J. Myers",
    title = "{The Art od Software Testing}",
    year = "2004",
    publisher = "John Willey \& Sons, Inc."
}
@book{ webdesign,
    author = "D. Cenderholm",
    title = "Webdesign s webovými standardy",
    year = "2004",
    publisher = "Zoner Press"
}
@book{ security,
    author = "C. Shiflett",
    title = "{Essential PHP Security}",
    year = "2005",
    publisher = "O'Reilly"
}
@misc{ apache,
    title = "{Apache HTTP Server Version 2.2 Documentation}",
    key = "ZZ Apache",
    howpublished = "\url{http://httpd.apache.org/docs/2.2/}",
}
@misc{ postgresql,
    title = "{PostgreSQL Documentation}",
    key = "ZZ PostgreSQL",
    howpublished = "\url{http://www.postgresql.org/docs}",
}
@misc{ php,
    title = "{PHP Manual}",
    key = "ZZ PHP",
    howpublished = "\url{http://www.php.net/docs.php}",
}
@misc{ python,
    title = "{Python 2.5 Documentation}",
    key = "ZZ Python",
    howpublished = "\url{http://docs.python.org}",
}
@misc{ adodb,
    title = "{ADOdb Library for PHP}",
    key = "ZZZ AdoDB",
    howpublished = "\url{http://phplens.com/lens/adodb/docs-adodb.htm}",
}
@misc{ sessions,
    author = "C. Shiflett",
    title = "{The Truth about Sessions}",
    howpublished = "\url{http://shiflett.org/articles/the-truth-about-sessions}",
}

% vim:enc=iso8859-2:fenc=iso8859-2:syntax=bibtex:
