Jan Kořenek

2004

David Antoš, Vojtěch Řehák, and Jan Kořenek:
Hardware Router’s Lookup Machine and its Formal Verification,
ICN’2004 Conference Proceedings, University of Haute Alsace, Colmar, France, 2004, 1002-1007. [bibtex, url]

2003

David Antoš, Jan Kořenek, and Vojtěch Řehák:
Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli,
EurOpen, Sborník příspěvků XXIII. konference, EurOpen, 2003, 91-102. [bibtex]