Proof Planning:Methodology for Product Configuration

Pěchouček, M.

PĚCHOUČEK, M. Proof Planning:Methodology for Product Configuration. Praha: ČVUT FEL, Katedra řídicí techniky - Gerstnerova laboratoř, 1998. GL 58/98.