. "Berka, Roman" . . "Jel\u00EDnek, Ivan" . . "Univerzita Komensk\u00E9ho v Bratislave" . . . "2"^^ . "21230" . "Formal Methods in Human Body Model Animation" . "Bratislava" . . "2"^^ . "862214" . "Formal Methods in Human Body Model Animation"@en . . "Formal Methods in Human Body Model Animation" . "RIV:J04/94:D3 4229" . "RIV:J04/94:D3 4229!RIV/1998/MSM/MSM8D30" . . "0"^^ . . "Formal Methods in Human Body Model Animation"@en . . "[4C1372567C8A]" . "220;225" . "80-223-0801-3" . "Proceedings of Spring School on Computer Graphics" .