@techreport{BBK+02,
 author = {Jiří Barnat and Tomáš Brázdil and Pavel Krčál and Vojtěch Řehák and David Šafránek},
 institution = {CESNET},
 month = {July},
 number = {07},
 pages = {8},
 title = {{Model Checking in IPv6 Hardware Router Design}},
 year = {2002}
}