@inproceedings{ARK2004,
 address = {Gosier, Guadeloupe, French Caribbean},
 author = {David Antoš and Vojtěch Řehák and Jan Kořenek},
 booktitle = {ICN'2004 Conference Proceedings},
 isbn = {0-86341-325-0},
 keywords = {IPv6 routing; FPGA; formal verification; Liberouter},
 language = {eng},
 location = {Gosier, Guadeloupe, French Caribbean},
 pages = {1002-1007},
 publisher = {University of Haute Alsace, Colmar, France},
 title = {Hardware Router's Lookup Machine and its Formal Verification},
 url = {http://conf.uha.fr/ICN2004.html},
 year = {2004}
}