[14-16 Oct 2003]

Pavlov: VHDL design (pdf) Jan Kořenek

Pavlov: Formal Verification in IPv6 Router Design (ps) Řehák, Šafránek, Šimeček

Pavlov: Repository of configurations - Subversion (pdf) Ondřej Zloský

Pavlov: Software support for COMBO6 (pdf) David Antoš

Pavlov: Netopeer (pdf) Ladislav Lhotka

Pavlov: Metaconfiguration (pdf) Miroslav Matuška

Pavlov: Transition to the new CVS (pdf) Rudolf Čejka